See __mul__.