I registered just to post a good workaround for this.
You need to have all the contacts synced with google account.
Go to gmail, then press "gmail" and switch to contacts
http://i.imgur.com/Na00OfC.png
It should switch you to the new google contacts. On the left menu press more, then "Leave the contacts preview"
http://i.imgur.com/6ImFUOr.png
Should bring you back to old contacts editor
Now, what you need to do is select the contacts with numbers, and add them to a separate group using this button
http://i.imgur.com/IcmsyvN.png.
You can select them manually if there's not too much of them, or you can use excel to sort them out:
Press "more..."->export->to .csv, then open excel, Data tab, Import data, from text, select the exported .csv, select comma as separator. You should have a big spreadsheet imported with all of the contacts.
Now select all, find the column with numbers and check its letter(in my case "AE"), now press Sort
http://i.imgur.com/XaL67Tm.png, then in the window select the column you checked earlier, and choose from biggest to lowest.
Now you should have all the numbers from the top and then at some point, the contacts without numbers should be starting at some point and go till the end. Select the latter and delete. Save as .csv, then import in google contacts. They should be imported to a separate group, like "imported on 6/6/666".
Now go to contacts on your phone->display perferences->customize, select only the group you've just created.