Fix int128_t bug