avoid pessimisation when int-indexing into dicts