I just created the tag
integral-promotion (see this question because, AFAIK, that is the formal name for the concept. However, I see that an
integer-promotion tag already exists and is used to refer to the same concept.
I am not trying to collect more badges or anything, but I think it would be appropriate to retag those questions to use
integral-promotion rather than
integer-promotion. Does that make sense?