[math-fun] Digit sum as a substring