Is there a formula for overflow?

[thebluepandabear]

> then the narrower value is converted to the wider type
> **C.** If the signed type is wider than the unsigned type, then 
> the unsigned value is converted to the signed type
> **D.** Otherwise the signed type is converted to the unsigned 
> type
>
> SDB at 79

I didn't  ask about casting...