Computer define division and modulo such as

b * (a / b) + a % b = a

It follows that a % b is the same type as a.