Casting now comes after reduction loop (to force parenthesis around casts before adding reduction).