Multiply a double-precision floating-point vector by a constant. - View it on GitHub