PRTools manual
DOUBLEM
B = DOUBLEM(A) B = A*DOUBLEM
For datasets B = A, in all other cases A is converted to double.