Fair enough. But people might be using /dev/random or /dev/urandom to generate their random numbers.