( F: r₁ -- r₂ ) or ( r₁ -- r₂ )

Round r₁ to an integral value using the "round toward negative infinity" rule, giving r₂.

12.3.2 Floating-point operations, 12.6.1.1612 FROUND, 12.6.2.1627 FTRUNC.