mp_rational: more testing and doc bits.