mp_integer: minor doc bit.