continued fraction sqrt(17)/12