Re: [GHC] #8726: integer-gmp division regression