RosettaCodeData/Task/Increment-a-numerical-string/Oz/increment-a-numerical-string.oz

{Int.toString {String.toInt "12345"} + 1}