• dd_real_vector : d_real_vector