Re: [commit: ghc] master: Implement new integer-gmp2 from scratch (re #9281) (c774b28)