> Herbie: Automatically improve imprecise floating point formulas

Some responses seem obvious:

* A useful exposition would describe what problems are being addressed and how an improvement is achieved, rather than offering examples without analysis.

* Robust, meaningful accuracy improvements should be made part of the underlying language, not attached to each application program in the form of a special-purpose library.

* If the issue is that people write bad floating-point expressions, a code-writing tutorial would be a better solution.

* If a programmer thinks a special-purpose library is a meaningful alternative to understanding floating-point code issues, then what stops Herbie from being a source of additional errors?