mp_rational: exponentiation.