[Featureserver] Json: unrounding of coordinates

[Peter Robins]

2010/1/20 Josh Livni <josh at umbrellaconsulting.com>:
>  It's quite possible someone is working on a project in a geographically
> small area and needs/expects 10+ significant digits.

um, that shouldn't matter, should it? I'm no great Python expert, but
AIUI the "return '%.15g' % self" patch is giving you up to 15 decimal
places if you need them - which should be enough for geo coords :-)