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