function z = double(x)
z = x.data;
