Redundant binary representation