From 5808421f7e4bd00eba50f824f33c7ed1e95fe2bb Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Mon, 28 Aug 2017 12:45:47 +0200
Subject: [PATCH] param.BigRational: parse "NaN"

Necessary to allow checking whether the round-trip from BigRational
to double to BigRational was lossless.
---
 prism/src/param/BigRational.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/prism/src/param/BigRational.java b/prism/src/param/BigRational.java
index fcc6bb9e..459d32d1 100644
--- a/prism/src/param/BigRational.java
+++ b/prism/src/param/BigRational.java
@@ -185,6 +185,10 @@ public final class BigRational implements Comparable<BigRational>
 			this.num = new BigInteger("-1");
 			this.den = new BigInteger("0");
 			return;
+		} else if (string.equals("NaN")) {
+			this.num = new BigInteger("0");
+			this.den = new BigInteger("0");
+			return;
 		}
 		BigInteger num;
 		BigInteger den;