Multiprecision interval arithmetic library
