Source position: real48utils.pp line 51
operator operator /(
const r1: Real48;
const r2: Real48
):Real48;