High efficiency redundant binary number representations for parallel arithmetic on optical computers