2.56, 2.57 exponentiation