small bug fix for extremely large right truncation points from Fox-Glynn in the FAU method

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7857 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/explicit/BirthProcess.java

@@ -246,7 +246,7 @@ public class BirthProcess
 			FoxGlynn fg = new FoxGlynn(qt, 1e-300, 1e+300, acc);
 			left = fg.getLeftTruncationPoint();
 			right = fg.getRightTruncationPoint();
-			if (right < 0) {
+			if (right < 0 || right == Integer.MAX_VALUE) {
 				throw new PrismException("Overflow in Fox-Glynn computation (time bound too big?)");
 			}
 			weights = fg.getWeights();