Post #1772314
2025-12-01 23:05 UTC
@marcedwards Don’t think those are rounding errors, just an effect of the way that floats are represented in binary. So a human indeed probably entered the values you said, but these representations easily parse to the right binary representation that is closest to that number.
Replies (1)
-
@marcedwards@mastodon.social 2025-12-02 01:40
@eelco Sure. By “rounding errors” I meant float to string conversion for the JSON, or anything related. It’s clear the JSON wasn’t human authored.