Symbol: HasInt