Ещё хуже, когда balance это тип uint, и если из нулевого баланса вычесть единицу, получается максимальное число. Это очень весело, согласитесь?