This implements an algorithm that gives the correctly rounded sum of a 
Vector{AbstractFloat}. I wanted to know if it really worked.  It appears 
so.  AFAIK, this works properly with any size vector; I tested it with 
5_000, 100_000, and 10_000_000 items.  I think of it as an an order of 
magnitude faster than summing BigFloats to get the correctly rounded result.

Reply via email to