php-src/ext/json/tests/bug45791.phpt

--TEST--
Bug #45791 (json_decode() does not handle number 0e0)
--SKIPIF--
<?php if (!extension_loaded("json")) print "skip"; ?>
--FILE--
<?php

var_dump(json_decode('{"zero": 0e0}'));

?>
--EXPECT--
object(stdClass)#1 (1) {
  ["zero"]=>
  float(0)
}