mp_rational: a minor fix and a doc bit.