let filter_lt_float allmodes ~typ_loc e1 ~cond_expr =
    filter_comparison_float 
      (Ival.filter_lt_float allmodes ~typ_loc)
      e1 
      ~cond_expr