[boost] [math][random][accumulators] Empirical distribution function