headers for mpfr, gsl and gmp