Implement scale_vecs().