Counted ranges are presented as

[A, N)

but don't have the normal mathematical meaning; instead, they mean [A, A+N) (where the "+" means "the value that would be obtained by N applications of ++ to A" rather than operator+).

We should not abuse established mathematical notation in this way, and should find a different and unambiguous way to present counted ranges.