12.6.2.1207
DFALIGNED
d-f-aligned
FLOATING EXT
 
( addr -- df-addr )

df-addr is the first double-float-aligned address greater than or equal to addr.