Library for validated numerics using interval arithmetic
A Rust implementation of interval arithmetic (IEEE 1788)