JSON/Writer trim trailing zeros in float print numbers