Fix comparaison with large IPSet()