STOCHASTIC ARITHMETIC, THEORY AND EXPERIMENTS