Vector3.js
function scale(s, v){
    return Vector3(v.x*s, v.y*s, v.z*s);
  }
function scale(s, v){
    return Vector3(v.x*s, v.y*s, v.z*s);
  }
function scale ( s , v ) { return Vector3 ( v . x * s , v . y * s , v . z * s ) ; }
Double, Vector -> Vector
Double Vector - > Vector