Re: [math-fun] Canonical sequence of rational approximants to an irrational