mp_rational: integral exponentiation.