Changing random number generator in C code to use Ziggurat transform, as opposed to the Box-Muller