Merge pull request #23 from rikkuness/decimal-datatypes

Skybound1 · web-flow · commit 81ee9d462d8e · 2025-06-17T11:20:05.000+01:00
Allow numerics to be decimals fixes #22
diff --git a/iamspy/datatypes.py b/iamspy/datatypes.py
@@ -89,7 +89,10 @@ def _date(data):
 
 
 def _numeric(data):
-    return z3.IntVal(data)
+    if "." in str(data):
+        return z3.RealVal(data)
+    else:
+        return z3.IntVal(data)
 
 
 def _string(data):
