let eval_antisymetric_float round ~typ_loc positive binop cond_expr value =
  try let r = match positive,binop with
    | trueLe | falseGt -> V.filter_le_float round ~typ_loc value ~cond_expr
    | trueGe | falseLt -> V.filter_ge_float round ~typ_loc value ~cond_expr
    | falseLe | trueGt -> V.filter_gt_float round ~typ_loc value ~cond_expr
    | falseGe | trueLt -> V.filter_lt_float round ~typ_loc value ~cond_expr
    | _,_ -> value
  in
  r
  with V.Error_Bottom -> V.bottom