Integer Explorer Definitions