Workaround for mersenne-random-pure64