diff --git a/setup.py b/setup.py
index 6566c28..8f34704 100644
--- a/setup.py
+++ b/setup.py
@@ -22,7 +22,7 @@
       author_email='tamer@fbk.eu',
       url='https://tamer.fbk.eu',
       packages=['up_tamer'],
-      install_requires=['pytamer==0.1.15', 'ConfigSpace'],
+      install_requires=['pytamer==0.1.16', 'ConfigSpace'],
       python_requires='>=3.7',
       license='APACHE'
 )
diff --git a/up_tamer/engine.py b/up_tamer/engine.py
index 368a696..ecf71aa 100644
--- a/up_tamer/engine.py
+++ b/up_tamer/engine.py
@@ -441,6 +441,8 @@ def _convert_problem(self, problem: 'up.model.Problem') -> Tuple[pytamer.tamer_p
         converter = Converter(self._env, problem, fluents_map, {}, instances_map)
         constants_assignments = {}
         for k, v in problem.initial_values.items():
+            if k.type.is_real_type() and v.is_int_constant():
+                v = problem.environment.expression_manager.Real(Fraction(v.constant_value()))
             if k.fluent() not in static_fluents:
                 ass = pytamer.tamer_expr_make_assign(self._env, converter.convert(k), converter.convert(v))
                 expr = pytamer.tamer_expr_make_temporal_expression(self._env, self._tamer_start, ass)