public static float4 operator *( double a, float4 b ) { return new float4( a * b.x, a * b.y, a * b.z, a * b.w ); }