12.6.1.1558
FLOOR
 
FLOATING
 
( F: r1 -- r2 ) or ( r1 -- r2 )

Round r1 to an integral value using the "round toward negative infinity" rule, giving r2.