fpbench (racket): Tools for the FPBench numerical software standards (more info at http://fpbench.org/)
Keywords: floating-point|numerical|standards