History math/test-double-vlen8.h