Tag: signed number representation for binary