let eval_antisymetric_float round ~typ_loc positive binop cond_expr value =
try let r = match positive,binop with
| true, Le | false, Gt -> V.filter_le_float round ~typ_loc value ~cond_expr
| true, Ge | false, Lt -> V.filter_ge_float round ~typ_loc value ~cond_expr
| false, Le | true, Gt -> V.filter_gt_float round ~typ_loc value ~cond_expr
| false, Ge | true, Lt -> V.filter_lt_float round ~typ_loc value ~cond_expr
| _,_ -> value
in
r
with V.Error_Bottom -> V.bottom