def sum: reduce .[] as $x (null; . + $x);