More fixes for int128 config