Так сработает, только если число не выходит за границы Short:

Не совсем понял. Если ты о моём коде, то он и предназначен для Short.

SetFormat, IntegerFast, H  ; для нагдядности
a := -0x8001   ; Int
MsgBox, % a &= 0xFFFFFFFF   ; UInt
MsgBox, % a << 48 >> 48

a := 0x8000   ; Int
MsgBox, % a &= 0xFFFFFFFF   ; UInt
MsgBox, % a << 48 >> 48

Для 32-битных в общем случае так:

SetFormat, IntegerFast, H
a := -0x8001      ; Int
a &= 0xFFFFFFFF   ; UInt
MsgBox, % a > 0x7FFFFFFF ? -~a - 1 : a

Здесь отрицательное 16-битное число упаковано в младшие 16 бит 64-битного числа и надо, чтобы при распаковке получилось отрицательное 64-битное число с тем же значением. Простое "& 0xFFFF" тут не годится, поскольку тогда все биты выше младших 16 будут нулями, а у отрицательного числа они должны быть все 1. Чтобы их заполнить единицами, и используются сдвиги. Сначала младшие 16 бит сдвигаются влево до упора (на 48 шагов), так чтобы старший бит 16-битного числа (1 у отрицательных) стал старшим битом 64-битного. Потом идёт сдвиг обратно вправо, и при этом освобождающиеся слева биты заполняются этим самым старшим битом. Это так называемый арифметический сдвиг, сохраняющий знак числа. Если бы 16-битное число было положительным, старший бит был бы 0 и освобождающиеся биты заполнились бы нулями. Конечно, для положительных чисел трюк со сдвигами не нужен, там достаточно "& 0xFFFF", но и вреда им от него не будет.

Ну, вообще-то тип WORD — это 16 бит.

То есть в вашем примере параметр также остаётся 32 бит? Просто не понятно число 48.

DllCall("GetCursorPos", "int64P", pt)
cwx := pt << 32 >> 32
cwy := pt >> 32

может тогда:

LOWORD := -100
HIWORD := -200
Param := LOWORD & 0xFFFFFFFF | HIWORD << 32

MsgBox, % "LOWORD = " Param << 32 >> 32
        . "`nHIWORD = " Param >> 32

Вопрос в том как функция которой передаётся параметр "распакует" его, то есть в любом ли случае она правильно получит LOWORD и HIWORD из

LOWORD & 0xFFFFFFFF | HIWORD << 32

и из

LOWORD | HIWORD << 16

?

TCM_SETITEMSIZE := 0x1329
lparam := width | hight << 16

А как "упаковать" отрицательные значения?

LOWORD := -100
HIWORD := -200
Param := LOWORD | HIWORD << 16

MsgBox, % "LOWORD = " Param & 0xFFFF
        . "`nHIWORD = " Param >> 16 
 

00000101b << 2 = 00010100b

Было двоичное (об этом говорит буква b на конце) число 00000101. Произвели сдвиг на два разряда влево, то есть нули и единицы сместились на две позиции влево, получилось двоичное число 00010100.

Если я понимаю, о чём речь.

Видимо, это уточнение (D / H / B / O).

Мой случай совсем запущенный - (D / H / B / O) тоже ни о чём не говорит.
Двоичная система в моём понимании это только единицы и нули.

если система двоичная, что значит лат. "b"?

Видимо, это уточнение (D / H / B / O).

речь идет о двоичной системе.
00000101b << 2 = 00010100b

если система двоичная, что значит лат. "b"?

SetFormat, IntegerFast, h
MsgBox, % 1 | 2 << 16

На выходе: 0x20001

Что куда смещено? На 16 позиций чего? Что всё таки "делает" "|"? Ничего непонятно.