Make predecessors/successors yield proper ints