sum([...]) now handles doubles (in addition to integers).