integer-gmp patch fixes