Чому метод Count () використовує ключове слово "перевірений"?

Переглядаючи різницю між графом і графом () , я подумав зазирнути на вихідний код Count(). Я побачив наступний фрагмент коду, в якому мені цікаво, чому checkedключове слово необхідне / потрібне:

int num = 0;
using (IEnumerator<TSource> enumerator = source.GetEnumerator())
{
    while (enumerator.MoveNext())
    {
        num = checked(num + 1);
    }
    return num;
}

Вихідний код:

// System.Linq.Enumerable
using System.Collections;
using System.Collections.Generic;

public static int Count<TSource>(this IEnumerable<TSource> source)
{
    if (source == null)
    {
        ThrowHelper.ThrowArgumentNullException(ExceptionArgument.source);
    }
    ICollection<TSource> collection = source as ICollection<TSource>;
    if (collection != null)
    {
        return collection.Count;
    }
    IIListProvider<TSource> iIListProvider = source as IIListProvider<TSource>;
    if (iIListProvider != null)
    {
        return iIListProvider.GetCount(onlyIfCheap: false);
    }
    ICollection collection2 = source as ICollection;
    if (collection2 != null)
    {
        return collection2.Count;
    }
    int num = 0;
    using (IEnumerator<TSource> enumerator = source.GetEnumerator())
    {
        while (enumerator.MoveNext())
        {
            num = checked(num + 1);
        }
        return num;
    }
}

Оскільки він не хоче повернути від'ємне число у (мабуть, малоймовірному) випадку, якщо в послідовності є більше 2 мільярдів елементів, або непарне, але просто неправильне число у (ще більш неправдоподібному) випадку що в послідовності є більше 4 мільярдів елементів. checkedвиявить стан переливу.