Fix correctness check for test_vec_fpextend_double