Peano numbers implementation