What is the most efficient way to sort a million 32-bit integers