Пример реализации символьных вычислений находится в модуле Integers в BlackBox.
> -- Цитата:
> Модуль Integers реализует абстрактный тип данных Integer для представления целых чисел произвольной точности. Он также содержит наиболее важные арифметические операции для таких чисел и набор операций преобразования. Арифметические операции включают сложение, умножение, возвежение в степень, вычисления частных, разностей и наибольших общих делителей.