use gmp int