Build proxy to convert Eigen vectors to half-float