x = 0x1FFFF0000FFFFFFFF
length(x) = 68
y = 0x1FFFF0000FFFFFFFF1FFFF0000FFFFFFFF1FFFF0000FFFFFFFF
length(y) = 204
z = 0x1FFFF0000FFFFFFFF1FFFF0000FFFFFFFF1CAFE0000FFFFFFFF
length(z) = 204
q = 0xFF0000FFFFFFFF1FFFF0000FFFFFFFF1CAFE0000FFFFFFFF
w = -24519554509435141245919758063389544641259977658452672513
length(q) = 192
0x8000
0b1 @ zeros(64 * 3 - 1) = 0x800000000000000000000000000000000000000000000000
q                       = 0x800000000000000000000000000000000000000000000000