The successor of a number is a number