Revert "Commit INt64 to GMP"

This reverts commit a2ccda2c1ff0f82f9d02479daf7d27d6d6e29c07.