12.6.1.1410
F*
f-star
FLOATING
 
( F: r1 r2 -- r3 ) or ( r1 r2 -- r3 )

Multiply r1 by r2 giving r3.