Use own pseudo-random number generator to ensure portable predictability.