[boost] Interest in algorithm for arithmetic mean of integers