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
+999.95 33
+1000.00 33
12.750000 33
1234567.000000 33
-0.031250 33
0.000000 33
--0.000000 33
-nan 33
00001234.000000 33
1234 33
+999.95 33
+1000.00 33
12.750000 33
1234567.000000 33
-0.031250 33
0.000000 33
--0.000000 33
-NAN 33
00001234.000000 33
1234 33
+999.95 33
+1000.00 33
12.750000 33
1234567.000000 33
-0.031250 33
0.000000 33
--0.000000 33
-NAN 33
00001234.000000 33
1234 33
+999.95 33
+1000.00 33
55 33