int exponentiation