class
	TEST1

inherit
	NUMERIC

feature

	infix "*", product (other: like Current): like Current is
			-- The product between Current and `other'.
		do
		end

end