JSON outfuncs: Fix output of float values with leading/trailing dot.