Template:Classes of natural numbers/sandbox