[boost] [math] Empirical distribution function