[address-policy-wg] RE: an arithmetic lesson