[PATCH] jscript: Use parse_decimal for parsing JSON numeric literals starting with 0.