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  }