Powers and exponentiation