GIS:转换为 GeoJSON 的 Shapefile 具有意外的坐标格式

GIS: Shapefile converted to GeoJSON has unexpected coordinate format

我从 this page 中获取了一个 shapefile,然后使用 Python 和 Geopandas 将其转换为 GeoJSON 文件,如下所示:

import geopandas as gpd
file = gpd.read_file("file.shp")
file.to_file("file.json", driver="GeoJSON")

这是来自 GeoJSON 的示例行:

{ "type": "Feature", "properties": { "ID": "DE63F0FA-CD3A-41A6-9524-C9C017A8DA64", "FEATCODE": 15014, "SQM": 148.245050005 }, "geometry": { "type": "Polygon", "coordinates": [ [ [ 385615.56, 249868.31000000029, 0.0 ], [ 385605.58, 249865.36, 0.0 ], [ 385601.55, 249879.03, 0.0 ], [ 385611.53, 249881.97, 0.0 ], [ 385615.56, 249868.31000000029, 0.0 ] ] ] } }

坐标显然不是 lat/longs。此外,每组坐标中都有一个无关的0。

这是什么格式?如何将其转换为 lat/long?

提前致谢。

原来这个坐标系是OSGB36

我目前正在使用 proj4 将数据转换为 WGS84。