A study of the effectiveness of fault- detecting codes for binary arithmetic