Change IntSetIterator to public

Fixes Issue 1592.