gsl_vector_get returns double, not int