Symbol: HasInt64