added a random number generator (PCG32)