let
compare_max_int = compare_bound
Ival
.compare_max_int