012+ number: 1.06293653832877718e+304... mismatch
013+ was: 0000000000000f7f
012- number: 1.06293653832877718e+304... OK
013- number: -1.06293653832877718e+304... OK
014+ became: 0100000000000f7f
015+ number: -1.06293653832877718e+304... mismatch
016+ was: 0000000000000fff
017+ became: 0100000000000fff