exact-real
Infinite-precision real number arithmetic in Rust.