RPN with Peano numbers && tests