diff --git a/src/ir/expressions/IntegerConstantExpression.cpp b/src/ir/expressions/IntegerConstantExpression.cpp
index 4daa4c244..40a5c9317 100644
--- a/src/ir/expressions/IntegerConstantExpression.cpp
+++ b/src/ir/expressions/IntegerConstantExpression.cpp
@@ -27,7 +27,7 @@ namespace storm {
             }
             
             double IntegerConstantExpression::getValueAsDouble(std::pair<std::vector<bool>, std::vector<int_fast64_t>> const* variableValues) const {
-                return getValueAsInt(variableValues);
+                return static_cast<double>(getValueAsInt(variableValues));
             }
             
             int_fast64_t IntegerConstantExpression::getValueAsInt(std::pair<std::vector<bool>, std::vector<int_fast64_t>> const* variableValues) const {
diff --git a/src/ir/expressions/IntegerLiteralExpression.cpp b/src/ir/expressions/IntegerLiteralExpression.cpp
index 70432c6c5..7d4f02d99 100644
--- a/src/ir/expressions/IntegerLiteralExpression.cpp
+++ b/src/ir/expressions/IntegerLiteralExpression.cpp
@@ -27,7 +27,7 @@ namespace storm {
             }
             
             double IntegerLiteralExpression::getValueAsDouble(std::pair<std::vector<bool>, std::vector<int_fast64_t>> const* variableValues) const {
-                return value;
+                return static_cast<double>(value);
             }
             
             int_fast64_t IntegerLiteralExpression::getValueAsInt(std::pair<std::vector<bool>, std::vector<int_fast64_t>> const* variableValues) const {
diff --git a/src/ir/expressions/VariableExpression.cpp b/src/ir/expressions/VariableExpression.cpp
index a38529c8b..5cd96ce45 100644
--- a/src/ir/expressions/VariableExpression.cpp
+++ b/src/ir/expressions/VariableExpression.cpp
@@ -83,7 +83,7 @@ namespace storm {
                 
                 // Because only int variables can deliver a double value, we only need to check them.
                 if (variableValues != nullptr) {
-                    return variableValues->second[globalIndex];
+                    return static_cast<double>(variableValues->second[globalIndex]);
                 } else {
                     throw storm::exceptions::ExpressionEvaluationException() << "Cannot evaluate expression with variable '" << variableName << "' of type double.";
                 }