Хорошо, с помощью, которую я получил в комментариях, я смог найти решение.
Кажется, что просто отсутствует функция.Мне удалось создать файл с именем big_int.php, заполнить его содержимым, найденным здесь , и просто связать его с помощью require_once в index.php, например:
require_once('big_int.php');
Все хорошо.Большое спасибо Barmar за полезный совет.