Multiple precision interval arithmetic library based on MPFR
