12.6.2.1208
DFLOAT+
d-float-plus
FLOATING EXT
 
( df-addr1 -- df-addr2 )

Add the size in address units of a 64-bit IEEE double-precision number to df-addr1, giving df-addr2.