From c45ca935803bb32aae3c6039389fb62d39dd8e00 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 2 Aug 2017 11:35:31 +0000
Subject: [PATCH] param.BigRational: Fix signum (sign) computation for positive
 and negative infinity

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12193 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/param/BigRational.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/prism/src/param/BigRational.java b/prism/src/param/BigRational.java
index 4a0f384f..fcc6bb9e 100644
--- a/prism/src/param/BigRational.java
+++ b/prism/src/param/BigRational.java
@@ -455,6 +455,8 @@ public final class BigRational implements Comparable<BigRational>
 	 */
 	public int signum()
 	{
+		if (isInf()) return 1;
+		if (isMInf()) return -1;
 		return num.signum() * den.signum();
 	}