Herbie: Automatically improve imprecise floating point formulas

by summarity | View on Hacker News