[gambit-list] getting float* out of a f32vector