12.6.1.1565
FMIN
f-min
FLOATING
 
( F: r1 r2 -- r3 ) or ( r1 r2 -- r3 )

r3 is the lesser of r1 and r2.