Fix parsing of floats without '.'

For example "1e+10"

diff --git a/tracematch.py b/tracematch.py
index c1e0948210e8405ba8fdcca6ef3dc1a8680429f2..aebbfd3d5c2a3be001e4a736a9e881d6825c4d25 100755 (executable)
--- a/tracematch.py
+++ b/tracematch.py
@@ -598,11 +598,12 @@ class TraceParser(Parser):
             return self.handleString(value)
         elif self.match(NUMBER):
             token = self.consume()
             return self.handleString(value)
         elif self.match(NUMBER):
             token = self.consume()

-            if '.' in token.text:
+            try:
+                value = int(token.text)
+            except ValueError:

                 value = float(token.text)
                 return self.handleFloat(value)
             else:
                 value = float(token.text)
                 return self.handleFloat(value)
             else:

-                value = int(token.text)

                 return self.handleInt(value)
         elif self.match(HEXNUM):
             token = self.consume()
                 return self.handleInt(value)
         elif self.match(HEXNUM):
             token = self.consume()