To allow for more accurate algorithms, the specification of DoubleStream.sum()/average() should explicitly allow higher precision summation to be used in the implementation.
- relates to
JDK-8073940 IntStream/LongStream/DoubleStream: sum() specifications must be expanded
JDK-8030942 Explicitly state floating-point summation requirements on non-finite inputs
JDK-8006572 DoubleStream.sum() & DoubleSummaryStats implementations that reduce numerical errors