diff --git a/prism/src/parser/ast/ExpressionFunc.java b/prism/src/parser/ast/ExpressionFunc.java
index 9367c77d..c399be0a 100644
--- a/prism/src/parser/ast/ExpressionFunc.java
+++ b/prism/src/parser/ast/ExpressionFunc.java
@@ -355,6 +355,9 @@ public class ExpressionFunc extends Expression
 		// Check for overflow
 		if (res > Integer.MAX_VALUE)
 			throw new PrismLangException("Overflow evaluating integer power");
+		// Check for underflow
+		if (res < Integer.MIN_VALUE)
+			throw new PrismLangException("Underflow evaluating integer power");
 		return (int) res;
 	}