diff --git a/paynt/parser/jani.py b/paynt/parser/jani.py
index 2c2c9673..c3d57585 100644
--- a/paynt/parser/jani.py
+++ b/paynt/parser/jani.py
@@ -217,7 +217,7 @@ def construct_edge(self, edge, substitution = None):
         for templ_edge_dest in edge.template_edge.destinations:
             assignments = templ_edge_dest.assignments.clone()
             if substitution is not None:
-                assignments.substitute(substitution)
+                assignments.substitute(substitution,substitute_transcendental_numbers=False)
             templ_edge.add_destination(stormpy.storage.JaniTemplateEdgeDestination(assignments))
 
         new_edge = stormpy.storage.JaniEdge(