std::vector<std::string> to_vector(CFSArray<CFSWString> arr) { std::vector<std::string> v; for (INTPTR i = 0; i < arr.GetSize(); i++) v.push_back(to_stdstring(arr[i])); return v; }
void conv(float10& a,ZZ& b) { a = (float10)to_stdstring(b); }
void conv(ZZ& a,bkzfloat& b) { conv(a,to_stdstring(b).c_str()); }
void conv(mpfr_float& a,ZZ& b) { a = (mpfr_float)to_stdstring(b); }