diff --git a/prism/src/prism/Interval.java b/prism/src/prism/Interval.java
index 59fc486247..0640e13733 100644
--- a/prism/src/prism/Interval.java
+++ b/prism/src/prism/Interval.java
@@ -28,41 +28,25 @@
 
 /**
  * This class stores an interval of numerical values.
+ *
+ * @param <T> Type of the interval
  */
-public class Interval
+public class Interval<T extends Object>
 {
 	// Lower/upper value
-	public Object lower;
-	public Object upper;
-	
+	public T lower;
+	public T upper;
+
 	/**
 	 * Construct an Interval.
-	 * (lower and upper should be of the same type: Integer or Double)
-	 */
-	public Interval(Object lower, Object upper)
-	{
-		this.lower = lower;
-		this.upper = upper;
-	}
-	
-	/**
-	 * Construct an integer Interval.
+	 * Both bounds lower and upper should be of the same type.
 	 */
-	public Interval(Integer lower, Integer upper)
+	public Interval(T lower, T upper)
 	{
 		this.lower = lower;
 		this.upper = upper;
 	}
-	
-	/**
-	 * Construct a double Interval.
-	 */
-	public Interval(Double lower, Double upper)
-	{
-		this.lower = lower;
-		this.upper = upper;
-	}
-	
+
 	@Override
 	public String toString()
 	{