add another integer-gmp foreign function