Analyze, test, and debug the numerical behavior of your algorithms
Identify, trace, and debug the sources of overflow, precision loss, and
wasted range or precision in your design. Compare numerical behavior against
an ideal floating-point baseline. Generate numerically rich data to test
your designs.