inline IntIterator, just in case :-)