Sort names by number

Fixes bug #1369794: if machine names are numbers then sort them as numbers.
Heh, with 256 is really a big environment, feel free to decrease this number (e.g. 10?) if this makes sense to you.