Description
Floating-point code can be analyzed and generated with a tool environment focused on numerical safety. Developers and researchers use `sollya` and its library to approximate functions, reason about precision, and support safe math implementations. It is both a command-line tool and a development library.