[math-fun] Arithmetic mean of the digits used so far