diff --git a/prism/src/param/BigRational.java b/prism/src/param/BigRational.java
index 15a6c1a3..e0418920 100644
--- a/prism/src/param/BigRational.java
+++ b/prism/src/param/BigRational.java
@@ -184,7 +184,7 @@ public final class BigRational extends Number implements Comparable<BigRational>
 	 */
 	public BigRational(String string)
 	{
-		if (string.equals("Infinity") || string.equals("Inf")) {
+		if (string.equals("Infinity") || string.equals("+Infinity") || string.equals("Inf") || string.equals("+Inf")) {
 			this.num = new BigInteger("1");
 			this.den = new BigInteger("0");
 			return;
diff --git a/prism/src/param/ParamResult.java b/prism/src/param/ParamResult.java
index 2f39e95f..931dff01 100644
--- a/prism/src/param/ParamResult.java
+++ b/prism/src/param/ParamResult.java
@@ -132,7 +132,7 @@ public class ParamResult
 	{
 		Expression exprExpected = null;
 		try {
-			if (strExpected.equals("Infinity") || strExpected.equals("Inf")) {
+			if (strExpected.equals("Infinity") || strExpected.equals("+Infinity") || strExpected.equals("Inf") || strExpected.equals("+Inf")) {
 				exprExpected = new ExpressionLiteral(TypeDouble.getInstance(), BigRational.INF);
 			} else if (strExpected.equals("-Infinity") || strExpected.equals("-Inf")) {
 				exprExpected = new ExpressionLiteral(TypeDouble.getInstance(), BigRational.MINF);