[montecarl]

Here is a really cool automatic tool that rewrites floating point expressions to be more accurate: https://herbie.uwplse.org/