1  unsigned u=2147483839;float f0=2147483648e0,f1=2147483904e0;
       2  main()
       3  {
       4    float f=u;
       5    if(f==f0)
       6      abort();
       7    exit(0);
       8  }