diff --git a/src/parser/PrismParser/ConstDoubleExpressionGrammar.cpp b/src/parser/PrismParser/ConstDoubleExpressionGrammar.cpp
index 82798fe3d..ddd1341f5 100644
--- a/src/parser/PrismParser/ConstDoubleExpressionGrammar.cpp
+++ b/src/parser/PrismParser/ConstDoubleExpressionGrammar.cpp
@@ -40,7 +40,7 @@ ConstDoubleExpressionGrammar::ConstDoubleExpressionGrammar(std::shared_ptr<Varia
 	constantAtomicDoubleExpression %= (qi::lit("(") >> constantDoubleExpression >> qi::lit(")") | doubleConstantExpression);
 	constantAtomicDoubleExpression.name("constant double expression");
 
-	doubleConstantExpression %= (this->state->doubleConstants_ | doubleLiteralExpression);
+	doubleConstantExpression %= (this->state->doubleConstants_ | this->state->integerConstants_ | doubleLiteralExpression);
 	doubleConstantExpression.name("double constant or literal");
 
 	doubleLiteralExpression = qi::double_[qi::_val = phoenix::bind(&ConstDoubleExpressionGrammar::createLiteral, this, qi::_1)];