Precision

Five years ago I got a bug report complaining that our geocoding results on Windows differed from our results on Linux by one digit in the 6th decimal place. That’s a difference of ~10cm.

The bug is still unfixed.