let inject_zero_max b =
    wrap (Unhashconsed_Int_Intervals.inject_zero_max b)