Arithmetic expression. _*_ evaluates both its binary_expression-left and binary_expression-right operands and returns their product.
-
Bugs: No checking on arithmetic overflow.
