let filter_gt_float e1 ~cond_expr =
    filter_comparison_float Ival.filter_gt_float e1 ~cond_expr