Right, and you can get the quadratic irrational from continued_fraction_quadratic if all you have is the continued fraction. OK, good point, I'll take it out.