allow conversion floats -> long so that 100e9 and such work as Ticks

--HG--
extra : convert_revision : 23511baca6153bb3aa9c57be8818ad1b65f02a71

diff --git a/python/m5/config.py b/python/m5/config.py
index e1970e672f28ef6657fe0b8b27997c1b47d6566e..a93fdefebc28cdce0fa3487833078b70454f689b 100644 (file)
--- a/python/m5/config.py
+++ b/python/m5/config.py
@@ -936,7 +936,7 @@ class CheckedInt(NumericParamValue):
     def __init__(self, value):
         if isinstance(value, str):
             self.value = toInteger(value)
-        elif isinstance(value, (int, long)):
+        elif isinstance(value, (int, long, float)):
             self.value = long(value)
         self._check()