let filter_comparison_float float_filter e1 ~cond_expr = try let v1 = project_ival e1 in let v2 = project_ival cond_expr in inject_ival (float_filter v1 v2) with Not_based_on_null -> e1