Beginner: How to convert from DVector to Vec<f64>?

Please don't kill me, but I've spent half a day on this.
What is the opposite type conversion of 'DVector::**from_vec**'? Thus from **DVector** to **Vec**?

I was working in depended type theory and I think a lot of problem nalgebra has is that Rust type system is not expressive enough to really type matrix operations (because types cannot 'depend' on the sizes, like in e.g. Agda).