Low-cost duplication for separable error detection in computer arithmetic