fix float print format bug in json codegen