main()1 main() 2 { 3 if ((double) 18446744073709551615ULL < 1.84467440737095e+19 || 4 (double) 18446744073709551615ULL > 1.84467440737096e+19) 5 abort(); 6 7 if (16777217L != (float)16777217e0) 8 abort(); 9 10 exit(0); 11 } 12