Now define exponentiation by a non-integer.