The 12th root of 2