>>10
According to
Guido, the correct behavior is choosing the shortest decimal representation which produces the specific binary value. In particular, 0.10000000000000001 and 0.1 result in the same IEEE 754 64-bit number, even if the former is a more accurate representation, just as 0.10000000000000000555111512312578 is an even better representation.