[math-fun] Probability you hit 0 when subtract random digits