diff --git a/src/api/python/z3.py b/src/api/python/z3.py
index 97f2d1ecc..17fa92af5 100644
--- a/src/api/python/z3.py
+++ b/src/api/python/z3.py
@@ -8321,7 +8321,7 @@ def _to_float_str(val, exp=0):
         num = v[0]
         den = v[1]
         rvs = str(num) + '/' + str(den)
-        res = rvs + 'p' +_to_int_str(exp)
+        res = rvs + 'p' + _to_int_str(exp)
     elif isinstance(val, bool):
         if val:
             res = "1.0"