mp_rational: multiplication.