GMP multi-precision integers, functional version
GMP multi-precision rationals, functional version
MPFR multi-precision floating-point version, functional version