Better representation for floats.

Jansson doesn't do that, it uses %.17g, which is a bad idea IMO
because of rounding issues.

%.14g is what scripting languages typically use.