Each lane converted with a cast: floats to integers truncate toward zero, integers to narrower integers keep the low bits.
convert :: ($V: Type, a: Vector($T, V.N)) -> V