2 : Integer
2 : Int
2 : Bits8
2 : Bits16
2 : Bits32
2 : Bits64
2 : Nat
1 : Integer
1 : Int
1 : Bits8
1 : Bits16
1 : Bits32
1 : Bits64
1 : Nat
0 : Integer
0 : Int
0 : Bits8
0 : Bits16
0 : Bits32
0 : Bits64
0 : Nat
3 : Integer
3 : Int
3 : Bits8
3 : Bits16
3 : Bits32
3 : Bits64
3 : Nat
-2 : Integer
-2 : Int
-1 : Integer
-1 : Int
0 : Integer
0 : Int
-3 : Integer
-3 : Int
-11861903511836511836 : Integer
-25643355395 : Integer
2
2
02
0002
00000002
0000000000000002
2
1
1
01
0001
00000001
0000000000000001
1
0
0
00
0000
00000000
0000000000000000
0
3
3
03
0003
00000003
0000000000000003
3
-2
-2
-1
-1
0
0
-3
-3
-11861903511836511836
-25643355395