Use "%.16g" when outputting JSON floating point values.

This almost avoids losing precision when serializing double values.