target_family="wasm" and target feature
A relaxed version of
u32x4_trunc_sat_f64x2_zero(a) converts the
a to unsigned 32-bit integers and the upper two lanes are zero.
Values which don’t fit in 32-bit unsigned integers or are NaN may have the
same result as
u32x4_trunc_sat_f32x4 or may return