cast(sum(