( df-addr₁ -- df-addr₂ )

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

12.3.1.1 Addresses.