class interface KL_IMPORTED_INTEGER_ROUTINES feature(s) from KL_IMPORTED_INTEGER_ROUTINES -- Access INTEGER_: KL_INTEGER_ROUTINES -- Routines that ought to be in class INTEGER ensure integer_routines_not_void: Result /= Void end of KL_IMPORTED_INTEGER_ROUTINES