2^31 mod (2^31-1)