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