12.6.2.1209
DFLOATS
d-floats
FLOATING EXT
 
( n1 -- n2 )

n2 is the size in address units of n1 64-bit IEEE double-precision numbers.