IncString ← ⍜⋕(+1)
IncString "99"