1  
       2  #if(__SIZEOF_DOUBLE__==8)
       3  double d = 1024.0 - 1.0 / 32768.0;
       4  #else
       5  double d = 1024.0 - 1.0 / 16384.0;
       6  #endif
       7  
       8  extern double floor(double);
       9  extern float floorf(float);
      10  extern void abort();
      11  
      12  int main() {
      13  
      14      double df = floor(d);
      15      float f1 = (float)floor(d);
      16  
      17      if ((int)df != 1023 || (int)f1 != 1023)
      18        abort ();
      19  
      20      return 0;
      21  }