The binary arithmetic operation *

x.__mul__(y) <==> x*y