[GHC] #12129: Optimize the implementation of minusInteger in the integer-gmp package