EDIT: I see that libbf implements faithful rounding of operations. Nice. TIL.

See also: Jean-Michel Muller's books: "Handbook of Floating Point Arithmetic," and "Elementary Functions."

https://www.sollya.org/

"Dear HN, I pointed Claude at another existing codebase and told it to port it to Rust. I don't have anything new to add myself. Please lap this up."