diff --git a/maint/gentests.py b/maint/gentests.py
index f599a8d7..69f97ce2 100755
--- a/maint/gentests.py
+++ b/maint/gentests.py
@@ -15,7 +15,7 @@
     1075: 128,
     65536: 32,
 }
-types = [ "int", "short_int", "int:3+double:2" ]
+types = [ "int", "short_int", "int:3+float:2", "int:3+double:2" ]
 seed = 1
 
 ##### simple tests generator