RANDU: A truly horrible random number generator https://www.johndcook.com/blog/2019/04/14/randu/