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