cast Vector1D to double