Technically you don't even need that, you just need to be able to count, i.e. find the successor to a given number.