Packages with the integer-gmp use flag