diff --git a/libafl_concolic/symcc_runtime/src/filter.rs b/libafl_concolic/symcc_runtime/src/filter.rs
index 5a8fb9d0f3..17d6b4cce2 100644
--- a/libafl_concolic/symcc_runtime/src/filter.rs
+++ b/libafl_concolic/symcc_runtime/src/filter.rs
@@ -222,4 +222,22 @@ impl Filter for NoFloat {
     fn build_bits_to_float(&mut self, _expr: RSymExpr, _to_double: bool) -> bool {
         false
     }
+    fn build_fp_abs(&mut self, _a: RSymExpr) -> bool {
+        false
+    }
+    fn build_fp_add(&mut self, _a: RSymExpr, _b: RSymExpr) -> bool {
+        false
+    }
+    fn build_fp_sub(&mut self, _a: RSymExpr, _b: RSymExpr) -> bool {
+        false
+    }
+    fn build_fp_mul(&mut self, _a: RSymExpr, _b: RSymExpr) -> bool {
+        false
+    }
+    fn build_fp_div(&mut self, _a: RSymExpr, _b: RSymExpr) -> bool {
+        false
+    }
+    fn build_fp_rem(&mut self, _a: RSymExpr, _b: RSymExpr) -> bool {
+        false
+    }
 }