let widen wh x y = wrap (Unhashconsed_Int_Intervals.widen wh x.v y.v)