Php json_解码将大型数字字符串解码为整数

我有如下代码：

<?php
$str = "76017060710034014696970658200876993546";
if(json_decode($str) !== null && json_decode($str) !== false){
  var_dump(json_decode($str));
}
?>

当然，这不是json字符串，我希望json_decode返回null或false，如下所述：

返回值

返回用json编码的适当PHP类型的值。价值观 true、false和null返回为true、false和null 分别地如果无法解码json或 编码数据比递归限制更深

---

这怎么可能？这是一个bug还是我遗漏了什么？

您遗漏了一个选项JSON\u BIGINT\u AS\u STRING，顺便说一句，字符串是有效的JSON。请尝试以下操作：

var_dump(json_decode($str, false, 512, JSON_BIGINT_AS_STRING));

---

您缺少一个选项JSON\u BIGINT\u AS\u STRING，顺便说一句，字符串是有效的JSON。请尝试以下操作：

var_dump(json_decode($str, false, 512, JSON_BIGINT_AS_STRING));

---

我收到以下错误：致命错误：json_decode[]：选项json_BIGINT_AS_字符串未在第125行的/path/to/file中实现如何安装此选项？我使用PHP版本=>5.5.9-1ubuntu4.5它应该适用于phpv5.2及以上版本，我有phpv5.4.31是的，我知道，所以我的配置不正常？有没有办法手动安装此选项？我不知道是否可以只在当前php上安装此选项。我建议卸载这个版本并安装最新版本，如果我没记错的话，你可以在我在windows上工作的ubuntu中使用apt get来完成。我得到这个错误：致命错误：json_decode[]：选项json_BIGINT_AS_STRING未在第125行的/path/to/file中实现如何安装这个选项？我使用PHP版本=>5.5.9-1ubuntu4.5它应该适用于phpv5.2及以上版本，我有phpv5.4.31是的，我知道，所以我的配置不正常？有没有办法手动安装此选项？我不知道是否可以只在当前php上安装此选项。我建议卸载这个版本并安装最新版本，如果我没记错的话，你可以在我在windows上工作的ubuntu中使用apt get。