Definition of Continued Fraction Expansion for Reals