Итак, я думаю о написании битовой доски на python или lisp. Но я не знаю, как обеспечить получение 64-битного целого числа в python. Я читал документацию и обнаружил, что библиотека mpz возвращает 32-битное целое число без знака. Это правда? Если нет, что мне делать?