diff --git a/prism/src/parser/type/TypeDouble.java b/prism/src/parser/type/TypeDouble.java
index 7c9bfad0..9e21e4f0 100644
--- a/prism/src/parser/type/TypeDouble.java
+++ b/prism/src/parser/type/TypeDouble.java
@@ -75,7 +75,7 @@ public class TypeDouble extends Type
 		if (value instanceof Double)
 			return (Double) value;
 		if (value instanceof Integer)
-			return new Double(((Double) value).doubleValue());
+			return new Double(((Integer) value).intValue());
 		else
 			throw new PrismLangException("Can't convert " + value.getClass() + " to type " + getTypeString());
 	}