CVE-2018-13213: Integer Overflow or Wraparound

The sell function of a smart contract implementation for TravelCoin TRV, an Ethereum token, has an integer overflow in which "amount sellPrice" can be zero, consequently reducing a seller's assets...