Use a better random generator.