PHP函数json_decode在点之后用零作为int解码浮点值

Igo*_*nko 4 php json

我有一个JSON字符串,其中包含一些具有以下值的键:123.00.当我使用json_decode函数时,我得到解码后的字符串,其中前一个键等于123,而不是123.00.有没有办法纠正解码这些值而不包含在引号中?

Dan*_* Li 7

目前这是一个PHP错误:

错误报告:https://bugs.php.net/bug.php?id = 50224

将来,可能有功能通过options参数传递标志以进行更严格的键入.但是现在,用引号括起来就足够了.