Add some constantness to GetSuccessorNumber().