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