let compare_min_float = compare_bound Ival.compare_min_float