Avoid use of __int128_t