C has model of a machine where there's a bunch of ALUs that operate on homogeneous types of size >= int. So int x int -> int, uint x uint -> uint, etc. So an op

C has model of a machine where there's a bunch of ALUs that operate on homogeneous types of size >= int. So int x int -> int, uint x uint -> uint, etc. So an op first converts its arguments to a common type of the smallest necessary size, then sends them into the appropriate ALU.