rational exponentiation I guess