potential fix for usage of ints in sets