note
	description: "Summary description for {OVERFLOWING_BINARY_OPERATOR}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	OVERFLOWING_BINARY_OPERATOR

inherit
	OPERATOR

end