7.2.5 *

(* EXPR1 EXPR2)

Multiplies EXPR1 and EXPR2 and returns the result.