Source position: real48utils.pp line 50
operator operator *(
const r1: Real48;
const r2: Real48
):Real48;