Adding Vec4d.h and Vec4f.h