When number encoding is `None`, allow numbers to be used as valid identifiers
When number encoding is
None, allow numbers to be used as valid identifiers