“Mathematical method for representing signed integers in binary, explaining the overflow behavior.”