mp_rational: subtraction and related operators.