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