Comment by MisterTea

> Turns out memory can play tricks on everyone: we now know they were instead generated with the POSIX-standard drand48 random number generator.

Or he lied to obfuscate the origin.