let compare_max_float = compare_bound Ival.compare_max_float