let bottom = wrap Unhashconsed_Int_Intervals.bottom