Overly precise results

[goldfndr]

On https://services.gisgraphy.com/public/geocoding.html if I use World Geocoding to seek "Pennsylvania Avenue, Washington DC" in United States, I get results with overly precise coordinates. Examples:

• Latitude : 38.876767686028394
  Longitude : -76.97792570208726
• Latitude : 38.89214089002775
  Longitude : -77.01804562392627
• Latitude : 38.8726397
  Longitude : -76.96861710000002

The output should have at most seven digits of precision (1.1 cm), and typically fewer than that (especially if an address's building's or road's bbox differs in the 5th or 4th digit).

Similarly, if I right click on the leaflet map, I get distances of what looks like angstrom precision; the tiles I'm clicking on aren't zoomed in very far.