Use just random() to allocate initial sequence numbers; the previous
algorithm ended up with a high probability of zeroing the high word.