add peano numbers