pub type Mat3 = [[f64; 3]; 3];
A 3x3 rotation matrix, row-major: v' = M v with v'_i = sum_j M[i][j] v_j.
v' = M v
v'_i = sum_j M[i][j] v_j