Multiple precision interval arithmetic library based on MPFR
http://perso.ens-lyon.fr/nathalie.revol/software.html