Decimal representation of real numbers