Symbol: point_double_internal