Span r←xⵧy

r is the length of the inclusive range between x and y: r←1+x-y.