V128.F64x2_convert
val promote_low_f32x4 : t -> t
val convert_i32x4_s : t -> t
val convert_i32x4_u : t -> t