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