An efficient sorting procedure for 32-bit floating point numbers in 20 lines of C code.