Coercion and the Type Cast

Coercion is relaxed type checking — a smaller type's value fits legally into a larger one — while the reverse requires a type cast, forcing a larger value into a smaller space.

A two-byte count assigned into four bytes passes untouched; the reverse trip needs paperwork.