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