[math-fun] Average of a few integers