Thread:Extension talk:Maps/Coordinates too long: can they be shortened?

Hello, first of all, thanks for this stable extension.

I'm wondering why the coordinates are so long: 14 numbers for latitude/longitude while only 6 would be enough for precision (cf. older version of Google Maps extension). As a result, when you draw long lines or add many points, the size of the page becomes too heavy.

Would it be possible to shorten them?

For instance: 47.254301,-1.679535 instead of 47.25430126476208,-1.67953552941873