Source position: matrix.pp line 615
function operator /(Tmatrix3_double, double): Tmatrix3_double(
const m: Tmatrix3_double;
const x: double
):Tmatrix3_double;