[coreyh2]

So this problem probably happens more often then people notice? It just doesn't get noticed unless it leads to a completely different outcome? Having a different RNG on linux and windows seems like it would cause problems constantly.