mp_rational: minor doc fix.