mixed Array.sum(array a)
Sum the elements of an array using `+
Extracted from Pike v7.3 release 11 at 2001-11-03.