Peano numbers with the expected bells and whistles.