12345671 33
12345672 33
12345673 33
0x0p+0 33
-0x0p+0 33
inf 33
-inf 33
nan 33
       inf 33
       nan 33
12.750000 33
1234567.000000 33
-0.031250 33
0.000000 33
-0.000000 33
nan 33
00001234.000000 33
1234 33
12.750000 33
1234567.000000 33
-0.031250 33
0.000000 33
-0.000000 33
nan 33
00001234.000000 33
1234 33
12.750000 33
1234567.000000 33
-0.031250 33
0.000000 33
-0.000000 33
NAN 33
00001234.000000 33
1234 33
12.750000 33
1234567.000000 33
-0.031250 33
0.000000 33
-0.000000 33
NAN 33
00001234.000000 33
1234 33
55 33