[RossBencina]

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/