mp_integer: some doc fixes regarding arithmetic operators.