mp_rational: division.