sum of all values in a python dict `d`,sum(d.values())