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