diff --git a/src/util/simplify_expr_int.cpp b/src/util/simplify_expr_int.cpp
index 98dab123a3f..5815e105a60 100644
--- a/src/util/simplify_expr_int.cpp
+++ b/src/util/simplify_expr_int.cpp
@@ -402,6 +402,7 @@ bool simplify_exprt::simplify_plus(exprt &expr)
 
   if(ns.follow(expr.type()).id()==ID_floatbv)
   {
+#if 0
     // we only merge neighboring constants!
     Forall_expr(it, operands)
     {
@@ -419,6 +420,7 @@ bool simplify_exprt::simplify_plus(exprt &expr)
         }
       }
     }
+#endif
   }
   else
   {