Vector multiplied by a number