Speaking of round-tripping, I wonder if it's worth a little test that demonstrates the original issue, namely serializing a double like 100000.00000001 that is not fully captured in the `str()` representation.