[Featureserver] Json: unrounding of coordinates

[Peter Robins]

2010/1/20 Josh Livni <josh at umbrellaconsulting.com>:
> Workaround for
> simplejson: http://code.google.com/p/simplejson/issues/detail?id=34 (near
> the end)
> Or, if using py26's
> json: http://stackoverflow.com/questions/1447287/format-floats-with-standard-json-module

does that mean that Formats/GeoJSON.py should be changed to
incorporate one of those patches, in encode.feature()? I tried Tom
Wuttke's answer at
http://stackoverflow.com/questions/1447287/format-floats-with-standard-json-module
and that seems to do the trick. I assume nobody actually wants all
those extra decimal places? Problem is GeoJSON.py uses cjson if
present, and AIUI that works w/o this problem.