1  double x = 0x1.fp1;
       2  int main()
       3  {
       4    if (x !=  3.875)
       5      abort ();
       6    exit (0);
       7  }
       8  
       9