As mentioned on Slack (https://julialang.slack.com/archives/C6A044SQH/p1678531853842819) by Robert has opened a small change which could be to add some changes from the Issue (#9292 (comment)) (courtesy - Valentin (NOT vchuravy) )
It is to add that the
The result type is the larger of the two argument types
If both argument types are the same size and differ in signdness, then the unsigned type wins
and also to add that the two argument largness is the import factor in the above