Use random.Random() as the default randomness everywhere.