wn_scale_vect(3)
Scale vector
Part of wnvmlt(3).
Multiply vector by scalar, coded to be especially fast.