Symbol: convert_signed_value