Casting a larger integer to a smaller type (uint256->uint128/uint64) silently truncates high-order bits, corrupting amounts, timestamps, or IDs.
using SafeCast for uint256;
uint128 amt = amount256.toUint128(); // reverts on overflow
Largest recorded losses in the same failure class — related, not the same bug:
The SaferICO scanner runs 201 detectors over your Solidity source, SAFE-0030 among them. Paste an address or the source itself — a small per-scan fee, shown before you sign, or unlimited on any plan.