The efforts to eliminate the dual-representation of zero and to ensure