num sum(list[num] l)
import List;
rascal>import List; ok rascal>sum([3, 1, 4, 5]); num: 13 rascal>sum([3, 1.5, 4, 5]); num: 13.5
sum([-18, -3]) ==