conversion operators to Eigen vectors