History math/gen-libm-test.pl