54         Double4 res = new Double4();  in add()  local
55         res.x = a.x + b.x;  in add()
56         res.y = a.y + b.y;  in add()
57         res.z = a.z + b.z;  in add()
58         res.w = a.w + b.w;  in add()
60         return res;  in add()
95         Double4 res = new Double4();  in add()  local
96         res.x = a.x + b;  in add()
97         res.y = a.y + b;  in add()
98         res.z = a.z + b;  in add()
99         res.w = a.w + b;  in add()
101         return res;  in add()
136         Double4 res = new Double4();  in sub()  local
137         res.x = a.x - b;  in sub()
138         res.y = a.y - b;  in sub()
139         res.z = a.z - b;  in sub()
140         res.w = a.w - b;  in sub()
142         return res;  in sub()
153         Double4 res = new Double4();  in sub()  local
154         res.x = a.x - b.x;  in sub()
155         res.y = a.y - b.y;  in sub()
156         res.z = a.z - b.z;  in sub()
157         res.w = a.w - b.w;  in sub()
159         return res;  in sub()
194         Double4 res = new Double4();  in mul()  local
195         res.x = a.x * b.x;  in mul()
196         res.y = a.y * b.y;  in mul()
197         res.z = a.z * b.z;  in mul()
198         res.w = a.w * b.w;  in mul()
200         return res;  in mul()
211         Double4 res = new Double4();  in mul()  local
212         res.x = a.x * b;  in mul()
213         res.y = a.y * b;  in mul()
214         res.z = a.z * b;  in mul()
215         res.w = a.w * b;  in mul()
217         return res;  in mul()
252         Double4 res = new Double4();  in div()  local
253         res.x = a.x / b;  in div()
254         res.y = a.y / b;  in div()
255         res.z = a.z / b;  in div()
256         res.w = a.w / b;  in div()
258         return res;  in div()
269         Double4 res = new Double4();  in div()  local
270         res.x = a.x / b.x;  in div()
271         res.y = a.y / b.y;  in div()
272         res.z = a.z / b.z;  in div()
273         res.w = a.w / b.w;  in div()
275         return res;  in div()