[math-fun] An irrational number normal to every radix simultaneously