The sell function of a smart contract implementation for Providence Crypto Casino (PVE) (Contract Name: ProvidenceCasinoToken), an Ethereum token, has an integer overflow in which βamount * sellPriceβ can be zero, consequently reducing a sellerβs assets.