diff --git a/prism/src/param/BigRational.java b/prism/src/param/BigRational.java
index 2bdd9411..15a6c1a3 100644
--- a/prism/src/param/BigRational.java
+++ b/prism/src/param/BigRational.java
@@ -435,6 +435,19 @@ public final class BigRational extends Number implements Comparable<BigRational>
 		if (other.isInf() || other.isMInf()) {
 			return NAN;
 		}
+
+		if (other.isZero()) {
+			if (this.isZero() || this.isNaN()) {
+				return BigRational.NAN;
+			} else {
+				if (this.signum() > 0) {
+					return BigRational.INF;
+				} else {
+					return BigRational.MINF;
+				}
+			}
+		}
+
 		BigRational inverseOther = new BigRational(other.den, other.num, cancel);
 		return multiply(inverseOther, cancel);
 	}