integer ::= digit [digit]...