nat function

nat is a parser which matches one or more numeric characters.