diff --git a/src/storm/storage/geometry/ReduceVertexCloud.cpp b/src/storm/storage/geometry/ReduceVertexCloud.cpp
index 71e725d78..844f1f12d 100644
--- a/src/storm/storage/geometry/ReduceVertexCloud.cpp
+++ b/src/storm/storage/geometry/ReduceVertexCloud.cpp
@@ -53,7 +53,7 @@ namespace storm {
                                    expressionManager->rational(1));
                 } else {
                     smtSolver->add(storm::expressions::sum(weightVariableExpressions) <=
-                                   expressionManager->rational(1.0 + wiggle));
+                                   expressionManager->rational(1 + wiggle));
                     smtSolver->add(storm::expressions::sum(weightVariableExpressions) >=
                                    expressionManager->rational(1 - wiggle));
                 }
@@ -135,4 +135,4 @@ namespace storm {
             template class ReduceVertexCloud<storm::RationalNumber>;
         }
     }
-}
\ No newline at end of file
+}