mp_integer: add a missing noexcept.