Use __int128_t for simple bigint implementation