JNI wrapper to the GMP library