12.6.2.1205
DFALIGN
d-f-align
FLOATING EXT
 
( -- )

If the data-space pointer is not double-float aligned, reserve enough data space to make it so.