[GHC] #8726: integer-gmp division regression