docs: public static DoubleSummary of(final DoubleSummaryStatistics statistics) {
  		return new DoubleSummary(
  			statistics.getCount(),
  			statistics.getMin(),
  			statistics.getMax(),
  			statistics.getSum(),
  			statistics.getAverage()
  		);
  	}