[math-fun] The irrational 10-adic idempotents