Ignore
Do the right thing for digits in identifiers.

Closes #5