Recordhelper - Was macht TDoubleHelper.Fraction?

[gammatester]

Hilfe und DocWiki sagen zu TDoubleHelper.Fraction

Zitat:

Returns the bits after the comma after the number has been normalized for a double precision floating-point value.
Fraction returns an Extended value.

Gibt die Bits nach dem Komma zurück, nachdem die Zahl für einen Gleitkommawert mit doppelter Genauigkeit normalisiert wurde.

geben aber kein Beispiel. Ich kann beim besten Willen nichts mit der Ausgabe anfangen. Hier mein Beispiel

Delphi-Quellcode:

program dhbug;
{$ifdef FPC}
  uses
    sysutils;
{$else}
  {$apptype console}
  uses
    system.sysutils;
{$endif}
var
  x: double;
  y: extended;
begin
  x := 0.75;
  y := x.fraction;
  writeln(x:20:10, y:30);
  x := 1.5;
  y := x.fraction;
  writeln(x:20:10, y:30);
  x := 2.5;
  y := x.fraction;
  writeln(x:20:10, y:30);
end.

und die Ergbenisse für Tokyo CE

Code:

D:\Work\TMP>D:\DMX\M2564\DCC64 -b dhbug.dpr
Embarcadero Delphi for Win64 compiler version 32.0
Copyright (c) 1983,2017 Embarcadero Technologies, Inc.
dhbug.dpr(25)
26 lines, 0.05 seconds, 171384 bytes code, 62256 bytes data.

D:\Work\TMP>dhbug.exe
        0.7500000000     1.50000000000000000E+0000
        1.5000000000     1.50000000000000000E+0000
        2.5000000000     1.25000000000000000E+0000

bzw. für FreePascal

Code:

D:\Work\TMP>D:\FPC311\bin\i386-win32\ppcrossx64.exe dhbug.dpr
Free Pascal Compiler version 3.1.1-r20:38794 [2018/04/22] for x86_64
Copyright (c) 1993-2018 by Florian Klaempfl and others
Target OS: Win64 for x64
Compiling dhbug.dpr
Linking dhbug.exe
24 lines compiled, 0.2 sec, 70112 bytes code, 5172 bytes data

D:\Work\TMP>dhbug.exe
        0.7500000000       7.5000000000000000E-001
        1.5000000000       5.0000000000000000E-001
        2.5000000000       5.0000000000000000E-001

FPC gibt also frac zurück. Aber Delphi? Ist das ein weiterer Bug?

Weiß jemand über die Hilfe hinaus, was die Funktion eigentlich liefern soll?

PS: Ich sehe natürlich selbst, daß das Ergebnis laut Sourcecode Result := 1.0 + (F / $0010000000000000); ist, aber was ist der Sinn? Warum wird 1 addiert, wenn man den Nachkommateil haben will?