Re: [math-fun] Expansion of pi in factorial base