Fix conversion ambiguity: Use 1 instead of 1.0

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>;
         }
     }
-}
+}