A high quality fast random number generator