WELL19937a random number generator implemented with 53 bit