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 
main()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 }
22