RPN calculator with Peano number, and quickcheck with Peano numbers