add Data.IntegerInterval.fromInterval