Need a third operator[]

Because the uint32_t used to index vectors elsewhere now cannot choose
between index_t and int64_t (before it only had the choice of
index_t=int32_t)