Indexing is done with the unsigned size_t.
I re-read your post, and I don't think I actually answered your question...?
I don't know of any case where you'd want to index negativelly. That said, I'm sure it could be possible to wrap a cycle into a simple "signed cycle" adaptor.
There's one issue with what you want to do though: Who is front, and where does your range start?
