Same question as above: do we need to accept both numeric and non-numeric identifiers?