Explain type casts

Every type cast must have a nearby explanation of why it is safe and cannot reasonably be avoided.