[mkgmap-dev] higher precision instead of short-arc-removal?