我有一个JSON字符串，其中包含一些具有以下值的密钥：123.00。当我使用json_decode函数时，我得到的解码字符串的前一个键等于123，而不是123.00。有没有一种方法可以正确解码这些值而不用引号引起来？
目前，这是作为PHP错误引起的：
错误报告 ：https : //bugs.php.net/bug.php? id =50224
将来，可能会存在通过options参数传递标志以进行更严格键入的功能。但是，目前，用引号将其包装就足够了。
options
