[math-fun] Fun with "digit-average" (long post)