( sf-addr₁ -- sf-addr₂ )

Add the size in address units of a 32-bit IEEE single-precision number to sf-addr₁, giving sf-addr₂.

12.3.1.1 Addresses.