Add `assert amount >= 0`.