12.6.2.1207.40
DFFIELD:
d-f-field-colon
FLOATING EXT
 
( n1 "<spaces>name" -- n2 )

Skip leading space delimiters. Parse name delimited by a space. Offset is the first double-float aligned value greater than or equal to n1. n2 = offset + 1 double-float.

Create a definition for name with the execution semantics given below.

name Execution:
( addr1 -- addr2 )

Add the offset calculated during the compile-time action to addr1 giving the address addr2.