ctypes предназначен не для выполнения операций с целыми числами, а для вызова функций в разделяемых библиотеках. Любая соответствующая целочисленная арифметика все еще должна быть выполнена в Python.
Если только сама библиотека с совместным доступом не предоставляет целочисленные арифметические функции, в этом случае ей придется выполнять обнаружение переполнения.