Add averageFloat64x2.js