Re: [math-fun] The irrational 10-adic idempotents