The twelfth root of 2