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.