8024354: Explicitly permit DoubleStream.sum()/average() implementations to use higher precision summation
Reviewed-by: mduigou, briangoetz