Two floating point numbers are to be multiplied to form a floating$-$point

product:

$(!\backslash$times $2"!)\backslash$times $($# $\backslash$times $2"")=\backslash$times $2"$

Assume F$1$ and F$2$ are normalised and the result should be

normalised