[inline]
Function to divide by a vector by an integer.
Overloads the /= operator This function divides the elements of vector a by the constant integer x, a'_i = (1/x) a_i.