use ints exclusively for PQueue