let compare_max_int = compare_bound Ival.compare_max_int