doAssert typeOf(1.int64 + 1.int) is int64 doAssert typeOf(1.uint64 + 1.uint) is uint64 doAssert int64 is SomeNumber doAssert int64 is (SomeNumber and not(uint32|uint64|uint|int)) doAssert int64 is (not(uint32|uint64|uint|int)) doAssert int isnot int64 doAssert int64 isnot int var myInt16 = 5i16 var myInt: int doAssert typeOf(myInt16 + 34) is int16 # of type `int16` doAssert typeOf(myInt16 + myInt) is int # of type `int` doAssert typeOf(myInt16 + 2i32) is int32 # of type `int32` doAssert int32 isnot int64 doAssert int32 isnot int