diff --git a/extlib/benz/state.c b/extlib/benz/state.c
index ec9c24e5..9f5cb702 100644
--- a/extlib/benz/state.c
+++ b/extlib/benz/state.c
@@ -48,7 +48,10 @@ static void
 pic_init_features(pic_state *pic)
 {
   pic_add_feature(pic, "picrin");
+
+#if PIC_ENABLE_FLOAT
   pic_add_feature(pic, "ieee-float");
+#endif
 
 #if _POSIX_SOURCE
   pic_add_feature(pic, "posix");