/* APPLE LOCAL file 4221664 mainline candidate */ double d = 1024.0 - 1.0 / 32768.0; extern double floor(double); extern float floorf(float); extern void abort(); int main() { double df = floor(d); float f1 = (float)floor(d); if ((int)df != 1023 || (int)f1 != 1023) abort (); return 0; }