blob: 224f7208953b237976171995bb4a671ad0c7cad3 [file] [log] [blame]
main(){if(1.17549435e-38F<=1.1)exit(0);abort();}