let compare_min_int = compare_bound Ival.compare_min_int