Add digits to Data.Syntax.Char.