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