json_decode() and integers larger than LONG_MAX (2^31 - 1)

I know this issue has been seen before, but I hope to do something about it. $json = '1234567890123456789'; $x = json_decode($json); /* $x is now a float *aproximately* * equal to the original value */ For database indexes, being off by one can be disasterous for application flow, so I'd like to include the option to decode very large integers as strings. To that end, I propose a change in json_decode()'s signature to add an optional fourth argument, mirroring json_encode()'s second argument: mixed json_decode(string $json[, bool $assoc = false[, int $depth = 512[, int $options]]]); Where $options is a bitmask of zero or more of the following: JSON_BIGINT_STRING - Store large integers as their original string value With the corresponding simple changes in json.c and JSON_parser.c If noone objects or offers comments, I'll implement this. -Sara