float save/restore rounding to int

[walter]

Tony Forster has reported this problem:

First save
[[0, ["number", "0.1"], 374, 248, [null, null]], [-1, ["turtle", 1], 0, 0, 0, 0, 50, 5]]

Second save
[[0, ["number", 0.10000000000000001], 374, 248, [null, null]], [-1, ["turtle", 1], 0, 0, 0, 0, 50, 5]]

Third save
[[0, ["number", 0], 374, 248, [null, null]], [-1, ["turtle", 1], 0, 0, 0, 0, 50, 5]]

But I cannot reproduce it.

[tonyforster]

Originally found on Sugar. Can replicate with V84 on Gnome on XO1 hardware

[walter]

Please check to see if v85 or v86 still has this problem.

[tonyforster]

Fixed in V86, Presumably V85 too