Definition stringOfNat (n : nat) : string :=
  stringOfNatAux n n "".
