Defining arithmetical operations on infinite decimals

Completing Loo-Keng Hua's approach to the real number system pioneered in 1962, this paper defines arithmetical operations directly on infinite decimals without appealing to any ordering structure. Therefore, the widespread belief that there exists an algorithm for determining the digits of the product of two real numbers in terms of finite pieces of their decimal strings is essentially confirmed.