make (sum ...) handle non-integer values, and executors periodically emit stats