pub fn scale_f32_into(a: &[f32], k_val: f32, out: &mut Vec<f32>)
a * k element-wise into out, which is cleared first.
a * k
out