allow numbers in identifiers