XorShift128Engine: Fix the overflow on 32bit systems