Symbol: die_is_signed_type