GMP >= 4.3.1
MPFR >= 2.3.1
