add more integer-gmp foreign support