diff --git a/prism/src/param/JasFunction.java b/prism/src/param/JasFunction.java
index 3f2f1f18..4bdf5f2e 100644
--- a/prism/src/param/JasFunction.java
+++ b/prism/src/param/JasFunction.java
@@ -182,6 +182,9 @@ final class JasFunction extends Function {
 		if (this.isNaN() || other.isNaN()) {
 			return factory.getNaN();
 		}
+		if (other.isInf() || other.isMInf()) {
+			return factory.getNaN();
+		}
 		if (other.isZero()) {
 			if (this.isConstant()) {
 				// evaluate constant to return either NaN, Inf or -Inf, using BigRational division