diff --git a/prism/src/param/BigRational.java b/prism/src/param/BigRational.java
index a9791f6a..e081f3b9 100644
--- a/prism/src/param/BigRational.java
+++ b/prism/src/param/BigRational.java
@@ -51,17 +51,17 @@ public final class BigRational implements Comparable<BigRational>
 	private final static BigInteger BITEN = new BigInteger("10");
 
 	/** the BigRational "1" */
-	final static BigRational ONE = new BigRational(BigInteger.ONE);
+	public final static BigRational ONE = new BigRational(BigInteger.ONE);
 	/** the BigRational "-1" */
-	final static BigRational MONE = new BigRational(BigInteger.ONE).negate();
+	public final static BigRational MONE = new BigRational(BigInteger.ONE).negate();
 	/** the BigRational "0" */
-	final static BigRational ZERO = new BigRational(BigInteger.ZERO);
+	public final static BigRational ZERO = new BigRational(BigInteger.ZERO);
 	/** the BigRational "infinity" */
-	final static BigRational INF = new BigRational(BigInteger.ONE, BigInteger.ZERO);
+	public final static BigRational INF = new BigRational(BigInteger.ONE, BigInteger.ZERO);
 	/** the BigRational "-infinity" */
-	final static BigRational MINF = new BigRational(BMONE, BigInteger.ZERO);
+	public final static BigRational MINF = new BigRational(BMONE, BigInteger.ZERO);
 	/** the BigRational "not a number" */
-	final static BigRational NAN = new BigRational(BigInteger.ZERO, BigInteger.ZERO);
+	public final static BigRational NAN = new BigRational(BigInteger.ZERO, BigInteger.ZERO);
 
 	/** numerator */
 	private BigInteger num;