XorShift128Engine: Fix max() for 32bit systems