Make integer-gmp suitable to be used directly, rather than via integer