class
	INTEGER_OVERFLOW

General
	cluster: money
	description: 
		"Detect Integer Overflow
		debug
		ToDo: Pre/Post-conditions
		end
		ToDo: multiply and divide"

Ancestors
	ANY

Queries
	Max_int: INTEGER_64
	Min_int: INTEGER_64
	safe_minus (left, right: INTEGER_64): BOOLEAN
	safe_plus (left, right: INTEGER_64): BOOLEAN


Generated by ISE EiffelStudio