diff --git a/de.prob.core/src/de/prob/core/prolog/TypedIdentifierGenerator.java b/de.prob.core/src/de/prob/core/prolog/TypedIdentifierGenerator.java
index 1beb714f1be0f6bea5d9ecb6437c6c2331013f8f..98d0c6184a08d70d67c88e175d76e036d6a7a927 100644
--- a/de.prob.core/src/de/prob/core/prolog/TypedIdentifierGenerator.java
+++ b/de.prob.core/src/de/prob/core/prolog/TypedIdentifierGenerator.java
@@ -134,6 +134,8 @@ public class TypedIdentifierGenerator {
 	private static Map<String, Handler> initHandlers() {
 		Map<String, Handler> handlers = new HashMap<String, Handler>();
 		handlers.put("integer/0", new BasicHandler(BaseProbType.INTEGER));
+		handlers.put("float/0", new BasicHandler(BaseProbType.FLOAT));
+		handlers.put("real/0", new BasicHandler(BaseProbType.REAL));
 		handlers.put("string/0", new BasicHandler(BaseProbType.STRING));
 		handlers.put("boolean/0", new BasicHandler(BaseProbType.BOOL));
 		handlers.put("pred/0", new BasicHandler(BaseProbType.PREDICATE));
diff --git a/de.prob.core/src/de/prob/core/types/BaseProbType.java b/de.prob.core/src/de/prob/core/types/BaseProbType.java
index ead5001d15f4615ba9b4b270252110c362c1934d..22448a168798d1533fd9419aa9d97a7a561882e3 100644
--- a/de.prob.core/src/de/prob/core/types/BaseProbType.java
+++ b/de.prob.core/src/de/prob/core/types/BaseProbType.java
@@ -20,6 +20,8 @@ public class BaseProbType extends ProbDataType {
 	public final static BaseProbType PREDICATE = new BaseProbType("predicate");
 	public final static BaseProbType SUBSTITUTION = new BaseProbType(
 			"substitution");
+	public final static BaseProbType REAL = new BaseProbType("REAL");
+	public final static BaseProbType FLOAT = new BaseProbType("FLOAT");
 
 	private final String type;