mp_integer: fix imprecise documentation.
mp_rational: more work, including a bugfix when doing a += a, doc and testing, and a simpler
way of writing the operators.
mp_integer && mp_rational: a minor optimisation and a documentation fix.