interval-sets: a little bit faster by not using slices.