A:
const a: single = 4195835.0; b: single = 3145727.0; var c: double; begin {$U-} c := a / b; {$U+} if a - c * b > 1.0 then ShowMessage('BUG!') else ShowMessage('OK'); end;