History math/libm-test-isnormal.inc