From c56ff4abb3d0aaaef9de7fd48d684df5e36abd3d Mon Sep 17 00:00:00 2001
From: Darrian <darrian@robco-industries.org>
Date: Tue, 17 Jun 2025 11:11:41 +0100
Subject: [PATCH] simple check for decimal data type

---
 iamspy/datatypes.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/iamspy/datatypes.py b/iamspy/datatypes.py
index 9cd6db2..c4c156a 100644
--- 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):