    class
    	INTEGER_OVERFLOW_CHECKER

    General
    	cluster: base
    	description: "String - Integer/Natural conversion overflow checker"
    	create: make

    Ancestors
    	NUMERIC_INFORMATION

    Queries
    	double_type_valid (type: INTEGER_32): BOOLEAN
    	integer_natural_type_valid (type: INTEGER_32): BOOLEAN
    	integer_type_valid (type: INTEGER_32): BOOLEAN
    	max_integer_type: INTEGER_64
    	max_natural_type: NATURAL_64
    	natural_type_valid (type: INTEGER_32): BOOLEAN
    	read_type_valid (type: INTEGER_32): BOOLEAN
    	real_double_type_valid (type: INTEGER_32): BOOLEAN
    	Type_count: INTEGER_32
    	Type_double: INTEGER_32
    	Type_integer: INTEGER_32
    	Type_integer_16: INTEGER_32
    	Type_integer_32: INTEGER_32
    	Type_integer_64: INTEGER_32
    	Type_integer_8: INTEGER_32
    	Type_integer_natural_separator: INTEGER_32
    	Type_natural: INTEGER_32
    	Type_natural_16: INTEGER_32
    	Type_natural_32: INTEGER_32
    	Type_natural_64: INTEGER_32
    	Type_natural_8: INTEGER_32
    	Type_no_limitation: INTEGER_32
    	Type_real: INTEGER_32
    	will_overflow (part1, part2: [like max_natural_type] NATURAL_64; type, sign: INTEGER_32): BOOLEAN