PRTools manual
DOUBLE
D = double(A)
Converts a dataset A to a double D, which is just the set of datavectors.