rational exponentiation