let from_ival_size iv s =
    wrap (Unhashconsed_Int_Intervals.from_ival_size iv s)