2^32-2 mod (2^31-1)