This seems to be inconsistent with `getindex` below; i.e. the size does not give the valid range of indexes for `getindex`. That could be confusing.