Re: [GHC] #9281: Rewrite `integer-gmp` to use only non-allocating GMP functions