https://en.cppreference.com/w/c/language/conversion

otherwise, if the target type is unsigned, the value 2^b
, where b is the number of value bits in the target type, is repeatedly subtracted or added to the source value until the result fits in the target type. In other words, unsigned integers implement modulo arithmetic.