Fixed double number JSON serialization to encode 17 significant digits (this

matches the max number of significant digits in the double-precision floating 
point format). This prevents a loss of precision, in case the number has more 
than 3 digits after the decimal point.


git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/libs/base/trunk@37556 72102866-910b-0410-8b05-ffd578937521

Tests/base/NSJSONSerialization/json.m

@@ -21,6 +21,7 @@ int main(void)
   \"emptyString\":\"\",\"emptyArray\":[],\"emptyObject\":{},\
   \"IDs\": [116, 943, 234, 38793],\
   \"escapeTest\": \"\\\"\\u0001\"\
+  \"double\": 123.456789012254,\
 }";
   NSStringEncoding encs[] = {\
     NSUTF8StringEncoding,\
@@ -48,7 +49,7 @@ int main(void)
       obj = tmp;
     }
 
-  PASS([obj count] == 6,
+  PASS([obj count] == 7,
     "Decoded dictionary had the right number of elements");
   PASS([NSJSONSerialization isValidJSONObject: obj],
     "Can serialise deserialised JSON");