Do we need to accept both numeric and non-numeric identifiers?