https://754r.ucbtest.org/background/augmented-arithmetic-example.txt https://754r.ucbtest.org/background/augmented-arithmetic-example-short.txt These and the scaled reduction documents have benefitted greatly from Jim Thomas' careful reading and comments.