Definition:Continued Fraction Expansion of Real Number