fix #7851, IntSet and negative integers