See [range.lazy.split.outer.value].