Definition:Decimal Approximation to Real Number