Symbol: __type_half_max