Re: [math-fun] New record for continued frac[t]ion for pi