004+ number: 2.22507385850720138e-308... mismatch
005+ was: 0000000000001000
006+ became: 0000000000000000
007+ number: 2.22507385850720188e-308... mismatch
008+ was: 0100000000001000
009+ became: 0000000000000000
004- number: 2.22507385850720138e-308... OK
005- number: 2.22507385850720188e-308... OK
008- number: 4.94065645841246544e-324... OK
009- number: 9.88131291682493088e-324... OK
011- number: 3.87340857288933455e-304... OK
012+ number: 0.00000000000000000e+0... mismatch
013+ was: 0100000000000000
014+ became: 0000000000000000
015+ number: 0.00000000000000000e+0... mismatch
016+ was: 0200000000000000
017+ became: 0000000000000000
019+ number: 3.87340857288933455e-304... mismatch
020+ was: fefffffffffff000
021+ became: fdfffffffffff000