Finished adding peano numbers