It's from a programming language. "%' here is a modulo operation.
(a * 2^32 + b) % c = (((a % c) * (2^32 % c)) + b) % c
It's from a programming language. "%' here is a modulo operation.
(a * 2^32 + b) % c = (((a % c) * (2^32 % c)) + b) % c