Test case for peano numbers