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