diff --git a/src/storm/adapters/Z3ExpressionAdapter.cpp b/src/storm/adapters/Z3ExpressionAdapter.cpp
index d715f4599..74e2d219c 100644
--- a/src/storm/adapters/Z3ExpressionAdapter.cpp
+++ b/src/storm/adapters/Z3ExpressionAdapter.cpp
@@ -237,7 +237,7 @@ namespace storm {
             }
             
             boost::any Z3ExpressionAdapter::visit(storm::expressions::IntegerLiteralExpression const& expression, boost::any const&)  {
-                return context.int_val(static_cast<int>(expression.getValue()));
+                return context.int_val(expression.getValue());
             }
             
             boost::any Z3ExpressionAdapter::visit(storm::expressions::UnaryBooleanFunctionExpression const& expression, boost::any const& data)  {
diff --git a/src/storm/utility/cli.cpp b/src/storm/utility/cli.cpp
index ded3f9a6a..ddc46fae2 100644
--- a/src/storm/utility/cli.cpp
+++ b/src/storm/utility/cli.cpp
@@ -55,7 +55,7 @@ namespace storm {
                                     throw storm::exceptions::WrongFormatException() << "Illegal value for boolean constant: " << value << ".";
                                 }
                             } else if (variable.hasIntegerType()) {
-                                int_fast64_t integerValue = std::stoi(value);
+                                int_fast64_t integerValue = std::stoll(value);
                                 constantDefinitions[variable] = manager.integer(integerValue);
                             } else if (variable.hasRationalType()) {
                                 try {