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