overflow in binary arithmetic