| xx1 -> 0x4200 8.300000 | |
| xx2 -> 0x0000 1.440000 | |
| xx -> 0x0000 -nan | |
| xx -> 0x0000 0.809017 | |
| xx -> 0x0000 0.309018 | |
| xx -> 0x0000 -0.309015 | |
| xx -> 0x0000 -0.809016 | |
| xx -> 0x4100 -0.000002 | |
| xx -> 0x0000 -0.809019 | |
| xx -> 0x0000 -0.309021 | |
| xx -> 0x0000 0.309013 | |
| xx -> 0x0000 0.809014 | |
| xx -> 0x4300 0.000002 | |
| xx -> 0x0000 0.809020 | |
| xx -> 0x0000 0.309023 | |
| xx -> 0x0000 -0.309010 | |
| xx -> 0x0000 -0.809013 | |
| xx -> 0x0100 -0.000067 | |
| xx -> 0x0000 -0.809022 | |
| xx -> 0x0000 -0.309026 | |
| xx -> 0x0000 0.309008 | |
| xx -> 0x0000 0.809011 |