[net.math] .9999... = 1

jpk (01/25/83)

.999999999... is 1.   the proofs are accurate, craig.