Ever heard of a Taxpayer Identification Number, TIN? Anyone can get one.
In fact, I have but, that is a valid number for a temporary resident and they should be to file legitimalty.