#float

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