Web Mercator conversion from and to Lat/Lng

[nnmm]

First step towards a Web Mercator (+ margin) query

[nnmm]

ptal @catevita

[nnmm]

ptal @cmarschner

[feuerste]

@nnmm Did you consider testing https://github.com/Mange/googleprojection-rs for this, in particular if https://github.com/Mange/googleprojection-rs/issues/3 is still a problem?

[nnmm]

Did you consider testing https://github.com/Mange/googleprojection-rs for this, in particular if Mange/googleprojection-rs#3 is still a problem?

Yes, I saw that crate and was a bit turned off by it being a port of a port, which seems to be confirmed by that ticket (but I didn't try to reproduce that ticket). I'd also like to use the nalgebra vector types, which that crate doesn't provide (Edit: As well as nav_types).

[feuerste]

BTW, if we need stuff in nav_types, I can add it there, too

[nnmm]

:dash: