#385 Improve randomness by keeping a static random generator