title: PHP function json_decode decodes float value with zeros after point as int
body: <p>I have a JSON string that contains some key with the following value: 123.00. When I use json_decode function I get the decoded string where the previous key equal to 123, not to 123.00. Is there a way to correct decode such values without wrapping into quotes?</p>