let
compare_min_int = compare_bound
Ival
.compare_min_int