diff --git a/prism/src/userinterface/properties/GUIProperty.java b/prism/src/userinterface/properties/GUIProperty.java
index 04f71380..d2ab3e71 100644
--- a/prism/src/userinterface/properties/GUIProperty.java
+++ b/prism/src/userinterface/properties/GUIProperty.java
@@ -274,8 +274,12 @@ public class GUIProperty
 			} else {
 				setStatus(STATUS_RESULT_FALSE);
 			}
+		} else if (result.getResult() instanceof Integer) {
+			setStatus(STATUS_RESULT_NUMBER);
 		} else if (result.getResult() instanceof Double) {
 			setStatus(STATUS_RESULT_NUMBER);
+		} else if (result.getResult() instanceof Interval) {
+			setStatus(STATUS_RESULT_NUMBER);
 		} else if (result.getResult() instanceof Exception) {
 			setStatus(STATUS_RESULT_ERROR);
 		} else {