Source position: matrix.pp line 442
operator operator /(
const x: Tvector3_double;
y: Double
):Tvector3_double;