Re: [mkgmap-dev] [Patch v2] higher precision in coordinates