Re: [math-fun] New record for continued fracion for pi