diff --git a/prelude/PredefAbs.gf b/prelude/PredefAbs.gf
index 2779bcd5..a99961d0 100644
--- a/prelude/PredefAbs.gf
+++ b/prelude/PredefAbs.gf
@@ -1,4 +1,4 @@
 abstract PredefAbs = {
-  cat Int ; String ;
+  cat Int ; String ; Float ; 
 } ;