History math/libm-test-totalordermag.inc