More int128_t support