How to sum the values of a table?

[nim_zwei]

Thanks!

I could swear I tried this variation, but maybe I just got too confused after 
    
    
    echo sum(table.values.toSeq)
    
    
    Run

gave the same error.