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); }
