diff --git a/prism/src/param/JasFunction.java b/prism/src/param/JasFunction.java
index b59f933f..2b06b567 100644
--- a/prism/src/param/JasFunction.java
+++ b/prism/src/param/JasFunction.java
@@ -182,6 +182,16 @@ final class JasFunction extends Function {
 		if (this.isNaN() || other.isNaN()) {
 			return factory.getNaN();
 		}
+		if (other.isZero()) {
+			if (this.isZero()) {
+				return factory.getNaN();
+			} else {
+				return factory.getInf();
+			}
+		}
+		if (this.isZero()) {
+			return factory.getZero();
+		}
 		return new JasFunction((JasFunctionFactory) factory, jas.divide(((JasFunction) other).jas), NORMAL);
 	}