Ah, I mentally reversed your examples. It looks like the previous printing behavior was in fact inaccurate. The new algorithm should always print a minimal-length decimal value that parses back into the original floating-point value, so Double(String(x)) always produces x.
10 Likes