Re: [GHC] #10691: certain operations in new integer-gmp are too lazy