  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.
