Adapt to new version of IntInterval