Text this: Application information redundancy to improve reliability the arithmetic unit computing elements bimodule arithmetic