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

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

12.3.2 Floating-point operations, 12.6.1.1558 FLOOR, 12.6.2.1627 FTRUNC.