The numbers are multiplied together ("long multiplication") resulting
in a number that may be as long as the sum of the lengths of the two operands.
For example xxx.xxx * yy.yyyyy
becomes zzzzz.zzzzzzzz.
The result is then rounded, counting from the first significant digit of the
result, to the current setting of NUMERIC DIGITS.