Use __int128 if available