Symbol: HasDouble