mp_integer: more doc fixes.