This is Rust Project's [rustc_apfloat library], extracted into a standalone crate, as suggested in [#43554].