Remove integer-gmp dependency