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