"mkStdGen32 s" would call itself with "negate s" if "s" is negative. Alas,
(minBound :: Int32) == negate minBound. "mkStdGen32 minBound" would thus
recurse infinitely.

Compute "sMaybeNegative .&. maxBound" instead. That clears the most significant
bit in signed types.