Integer library based on GMP