const cl_GV_number copy (const cl_GV_number& v)
{
- var uintC len = v.size();
- var cl_GV_number w = cl_GV_number(len);
- cl_GV_number::copy_elements(v,0,w,0,len);
+ std::size_t len = v.size();
+ cl_GV_number w = cl_GV_number(len);
+ cl_GV_number::copy_elements(v, 0, w, 0, len);
return w;
}