let
compare_max_float = compare_bound
Ival
.compare_max_float