is there a binary equivalent?

since its just recovering the 12 doubles for a matrix, it would be far more efficient to dump the binary matrix block to a file ?
no need to convert to/from text->numbers. the size is known, if it is just matrix.

Also, it would be super interesting if you could read ...