Re: [GHC] #9856: Test suite regressions due to integer-gmp2