Export GMP-only functions from the Internals module