^-- -4 <<   1: -8
-- -4 >>   1: -2
--  4 << -63: 8
--  4 >> -63: 2
--  4 <<  65: 8
--  4 >>  65: 2
--  0x7FFFFFFFFFFFFFFF \+ 1: -9223372036854775808
-- -0x7FFFFFFFFFFFFFFF - 2: 9223372036854775807
--  0x7FFFFFFFFFFFFFFF \* 2: -2
-- -~0x7FFFFFFFFFFFFFFF: -9223372036854775808$
