Pseudo-random numbers/PCG32: Difference between revisions