Clarify type widening casts