Peano numbers