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