Fastest way to sort 10 numbers? (numbers are 32 bit) | Hacker News Reader