More readable strings representing Peano numbers