1--TEST--
2Bug #45791 (json_decode() does not handle number 0e0)
3--SKIPIF--
4<?php if (!extension_loaded("json")) print "skip"; ?>
5--FILE--
6<?php
7
8var_dump(json_decode('{"zero": 0e0}'));
9
10?>
11--EXPECT--
12object(stdClass)#1 (1) {
13 ["zero"]=>
14 float(0)
15}
16
