Repository navigation
JSON numbers that need 17 significant digits lose the last one #445
Description
JSON.SET k $ 13.326500000000001, then JSON.GET k, returns 13.3265. 123456789.12345679 comes back as 123456789.1234568. In a test of 2,000 random doubles, 435 changed. 0.30000000000000004 round-trips exactly, and hash values are exact.
Expected: every finite double round-trips exactly, using shortest round-trip formatting, as RedisJSON does. Check both the parser (is it parsing to f64 without float_roundtrip?) and the writer.
Found while testing the migration guides (kividb.io/docs/migrate) against KiviDB 1.2.0, on Linux x86_64 release builds.
Activity
Merge pull request #463 from kividbio/fix/445-json-exact-doubles