shorten decimals in geojson