[math-fun] Post-Xmas boring puzzle (count of zeros)