#json-decode

• Fix the floating issue with json_decode in PHP 5.3
• json_decode casts strings to floats