Range::index_type and Range::extent_type are different types, the latter is an “array” of distance types (unsigned version of index element types).