Absolutely. Solving #11 first would avoid the need for this saturated cast.