Почему числа в лиспе не ограниченны? Как они заимплементированны? - Lisp

Собственно интересует имплементация чисел в лиспе. Почему они не ограниченны? Нигде не могу найти материалы о том как они работают.

Листинг программы

int factorial(int x) {
    int i; 
    for(i=1; i<x; i++) 
        x *= i; 
    return x; 
}

Объяснение кода листинга программы

В данном коде представлена реализация функции факториала на языке C++. Функция имеет следующую структуру:

Объявление переменной типа int с именем i.
Начало цикла for, который выполняется до тех пор, пока значение переменной i меньше значения переменной x.
Внутри цикла умножение значения переменной x на значение переменной i.
Выход из цикла.
Возврат значения переменной x. Код не содержит ошибок компиляции и времени выполнения в стандартной постановке задачи вычисления факториала. Однако, стоит отметить, что для больших значений x данная реализация может привести к переполнению типа int, что является особенностью данного языка программирования.