RandomLib Mersenne-Twister for random number generation