int128 and conv