$rotation->format_matrix();
 $rotation->format_matrix("%16.8f");