How do people about introducing a [wgs84] tag? It would contain the decimal latitude and longitude as strings. My first idea was to use GeoJSON. However it expects numbers, whereas tags have to be strings (and it reverses lat & lon which is stupid).