Use only digits in number regex

Author: tomasr8

Lib/json/tool.py

@@ -83,10 +83,10 @@ def main():
 
 
 color_pattern = re.compile(r'''
-    (?P<string>"(\\.|[^"\\])*?")           |   # String
-    (?P<number>NaN|-?Infinity|[\d\-+.Ee]+) |   # Number
-    (?P<boolean>true|false)                |   # Boolean
-    (?P<null>null)                             # Null
+    (?P<string>"(\\.|[^"\\])*?")            |   # String
+    (?P<number>NaN|-?Infinity|[0-9\-+.Ee]+) |   # Number
+    (?P<boolean>true|false)                 |   # Boolean
+    (?P<null>null)                              # Null
 ''', re.VERBOSE)