Make the JSON parser's number production fit the JSON spec instead of doing stupid things. Fixes bug 3831.