numberString ::= "1080";
incremented ::= numberString (base 10) + 1;