Closed lyricnz closed 10 months ago
FWIW I have no idea how to override the representation of a float in json.dump(). Can't even monkeypatch it (sanely) because it uses an inner function. I tried making a custom JSONEncoder and a custom float-ish class, but only succeeded in making a string output.
I can't figure out how to reproduce this anymore...
Maaaaybe resolved by the update to running GHA with newer python?
Lots of changes like:
vs
Hint at a problem with float-precision. Maybe we should round lat/long to 6dp, or use an arbitrary-precision type?