I've found that (on CentOS systems) I cannot create new usernames wich start with a leading digit, but from your post I imply that even though I can't create a new user with a leading dit, I can import one. Is that correct?
Note that we have seen issues were services confuse numerical usernames with user ID numbers, so we still don't advise using this.