Explains how smaller integer types are promoted during expression evaluation.