I have a GeoDataFrame gdf. I write its contents to a GeoJSON:
gdf.to_file("example.geojson")
which works. However, each geometry is specified to 16 significant figures, which is an overkill in my case.
How can I decrease the number of significant figures?
One possible way to do this is via ogr2ogr:
ogr2ogr example_fewer_digits.geojson example.geojson -lco COORDINATE_PRECISION=8
However, this still requires creating a file example.geojson and only then we can transform it to example_fewer_digits.geojson. If it was possible to achieve the same thing via GeoPandas only, it would be great.