zextend: 1111 111100
cextend: 1111 1111000000000000000
         16           1           0          15
          0           0          19           8
16 1  0 15
 0 0 19  8
rightshift start: 1111111111 000
rightshift 1:     0111111111 100
rightshift 2:     0011111111 110
rightshift 3:     0001111111 111
rightshift 2:     0011111111 110
rightshift 3:     0001111111 111
rightshift 10:    0000000000 111
rightshift 11:    0000000000 011
rightshift 12:    0000000000 001
rightshift 13:    0000000000 001
rightshift 14:    0000000000 001
rightshift 15:    0000000000 001
rightshift 31:    0000000000 001
rightshift 31:    0000000000 000
<Round Mode: Zero>  1100000100 00 0 = 1100000100 00 0  
<Round Mode: Zero>  1100000110 11 0 = 1100000110 00 0  
<Round Mode: Zero>  1100000111 01 1 = 1100000111 00 0  
<Round Mode: Zero>  1111111111 11 1 = 1111111111 00 0  
<Round Mode: Zero>  -1111111111 11 1 = -1111111111 00 0  
<Round Mode: Zero>  0000000000 11 1 = 0000000000 00 0  
<Round Mode: Zero>  -0000000000 11 1 = -0000000000 00 0  
<Round Mode: +Infinity>  1100000100 00 0 = 1100000100 00 0  
<Round Mode: +Infinity>  1100000100 10 0 = 1100000101 00 0  
<Round Mode: +Infinity>  -1100000100 10 0 = -1100000100 00 0  
<Round Mode: +Infinity>  1100000001 01 0 = 1100000010 00 0  
<Round Mode: +Infinity>  1100000001 00 1 = 1100000010 00 0  
<Round Mode: +Infinity>  1111111111 11 1 = 0000000000 00 0  
<Round Mode: +Infinity>  -1111111111 11 1 = -1111111111 00 0  
<Round Mode: +Infinity>  0000000000 11 1 = 0000000001 00 0  
<Round Mode: +Infinity>  -0000000000 11 1 = -0000000000 00 0  
<Round Mode: -Infinity>  1100000100 00 0 = 1100000100 00 0  
<Round Mode: -Infinity>  1100000100 10 0 = 1100000100 00 0  
<Round Mode: -Infinity>  -1100000100 10 0 = -1100000101 00 0  
<Round Mode: -Infinity>  1111111111 11 1 = 1111111111 00 0  
<Round Mode: -Infinity>  -1111111111 11 1 = -0000000000 00 0  
<Round Mode: -Infinity>  0000000000 11 1 = 0000000000 00 0  
<Round Mode: -Infinity>  -0000000000 11 1 = -0000000001 00 0  
<Round Mode: Nearest Even>  1100000100 00 0 = 1100000100 00 0  
<Round Mode: Nearest Even>  1100000000 11 0 = 1100000001 00 0  
<Round Mode: Nearest Even>  1100000000 01 0 = 1100000000 00 0  
<Round Mode: Nearest Even>  1100000000 11 1 = 1100000001 00 0  
<Round Mode: Nearest Even>  1100000000 00 1 = 1100000000 00 0  
<Round Mode: Nearest Even>  1100000000 10 0 = 1100000000 00 0  
<Round Mode: Nearest Even>  1100000001 10 0 = 1100000010 00 0  
<Round Mode: Nearest Even>  1111111111 11 1 = 0000000000 00 0  
<Round Mode: Nearest Even>  -1111111111 11 1 = -0000000000 00 0  
<Round Mode: Nearest Even>  0000000000 11 1 = 0000000001 00 0  
<Round Mode: Nearest Even>  -0000000000 11 1 = -0000000001 00 0  
<Round Mode: Nearest Away From Zero>  1100000100 00 0 = 1100000100 00 0  
<Round Mode: Nearest Away From Zero>  1100000000 11 0 = 1100000001 00 0  
<Round Mode: Nearest Away From Zero>  1100000000 01 0 = 1100000000 00 0  
<Round Mode: Nearest Away From Zero>  1100000000 11 1 = 1100000001 00 0  
<Round Mode: Nearest Away From Zero>  1100000000 00 1 = 1100000000 00 0  
<Round Mode: Nearest Away From Zero>  1100000000 10 0 = 1100000001 00 0  
<Round Mode: Nearest Away From Zero>  -1100000000 10 0 = -1100000001 00 0  
<Round Mode: Nearest Away From Zero>  1111111111 11 1 = 0000000000 00 0  
<Round Mode: Nearest Away From Zero>  -1111111111 11 1 = -0000000000 00 0  
<Round Mode: Nearest Away From Zero>  0000000000 11 1 = 0000000001 00 0  
<Round Mode: Nearest Away From Zero>  -0000000000 11 1 = -0000000001 00 0  
  1100000100 00 0 = 1100000100 00 0  
  1100000000 11 0 = 1100000001 00 0  
  1100000000 01 0 = 1100000000 00 0  
  1100000000 11 1 = 1100000001 00 0  
  1100000000 00 1 = 1100000000 00 0  
  1100000000 10 0 = 1100000000 00 0  
  -1100000000 10 0 = -1100000000 00 0  
  1111111111 11 1 = 0000000000 00 0  
  -1111111111 11 1 = -0000000000 00 0  
  0000000000 11 1 = 0000000001 00 0  
  -0000000000 11 1 = -0000000001 00 0  
+0.0 = <Float (-1)^0 * 0.0000000000 * 2^        -15 - 00 0>
-0.0 = <Float (-1)^1 * 0.0000000000 * 2^        -15 - 00 0>
+2.0 = <Float (-1)^0 * 1.0000000000 * 2^  1 - 00 0>
-2.0 = <Float (-1)^1 * 1.0000000000 * 2^  1 - 00 0>
+3.0 = <Float (-1)^0 * 1.1000000000 * 2^  1 - 00 0>
-3.0 = <Float (-1)^1 * 1.1000000000 * 2^  1 - 00 0>
+2.3 = <Float (-1)^0 * 1.0010011001 * 2^  1 - 10 1>
-2.3 = <Float (-1)^1 * 1.0010011001 * 2^  1 - 10 1>
max normal = <Float (-1)^0 * 1.1111111111 * 2^ 15 - 00 0>
min normal = <Float (-1)^1 * 1.1111111111 * 2^ 15 - 00 0>
min pos normal = <Float (-1)^0 * 1.0000000000 * 2^-14 - 00 1>
max neg normal = <Float (-1)^1 * 1.0000000000 * 2^-14 - 00 1>
min pos denormal = <Float (-1)^0 * 0.0000000001 * 2^        -15 - 00 1>
max neg denormal = <Float (-1)^1 * 0.0000000001 * 2^        -15 - 00 1>
min pos denormal<<1 = <Float (-1)^0 * 0.0000000010 * 2^        -15 - 00 1>
max neg denormal<<1 = <Float (-1)^1 * 0.0000000010 * 2^        -15 - 00 1>
+0.0 = <Float (-1)^0 * 0.00000000000000000000000 * 2^       -127 - 00 0>
-0.0 = <Float (-1)^1 * 0.00000000000000000000000 * 2^       -127 - 00 0>
+2.0 = <Float (-1)^0 * 1.00000000000000000000000 * 2^   1 - 00 0>
-2.0 = <Float (-1)^1 * 1.00000000000000000000000 * 2^   1 - 00 0>
+3.0 = <Float (-1)^0 * 1.10000000000000000000000 * 2^   1 - 00 0>
-3.0 = <Float (-1)^1 * 1.10000000000000000000000 * 2^   1 - 00 0>
+2.3 = <Float (-1)^0 * 1.00100110011001100110011 * 2^   1 - 00 1>
-2.3 = <Float (-1)^1 * 1.00100110011001100110011 * 2^   1 - 00 1>
max normal = <Float (-1)^0 * 1.11111111111111111111111 * 2^ 127 - 00 0>
min normal = <Float (-1)^1 * 1.11111111111111111111111 * 2^ 127 - 00 0>
min pos normal = <Float (-1)^0 * 1.00000000000000000000000 * 2^-126 - 00 0>
max neg normal = <Float (-1)^1 * 1.00000000000000000000000 * 2^-126 - 00 0>
min pos denormal = <Float (-1)^0 * 0.00000000000000000000001 * 2^       -127 - 00 0>
max neg denormal = <Float (-1)^1 * 0.00000000000000000000001 * 2^       -127 - 00 0>
min pos denormal<<1 = <Float (-1)^0 * 0.00000000000000000000010 * 2^       -127 - 00 0>
max neg denormal<<1 = <Float (-1)^1 * 0.00000000000000000000010 * 2^       -127 - 00 0>
+0.0 = <Float (-1)^0 * 0.0000000000000000000000000000000000000000000000000000 * 2^      -1023 - 00 0>
-0.0 = <Float (-1)^1 * 0.0000000000000000000000000000000000000000000000000000 * 2^      -1023 - 00 0>
+2.0 = <Float (-1)^0 * 1.0000000000000000000000000000000000000000000000000000 * 2^    1 - 00 0>
-2.0 = <Float (-1)^1 * 1.0000000000000000000000000000000000000000000000000000 * 2^    1 - 00 0>
+3.0 = <Float (-1)^0 * 1.1000000000000000000000000000000000000000000000000000 * 2^    1 - 00 0>
-3.0 = <Float (-1)^1 * 1.1000000000000000000000000000000000000000000000000000 * 2^    1 - 00 0>
+2.3 = <Float (-1)^0 * 1.0010011001100110011001100110011001100110011001100110 * 2^    1 - 00 0>
-2.3 = <Float (-1)^1 * 1.0010011001100110011001100110011001100110011001100110 * 2^    1 - 00 0>
max normal = <Float (-1)^0 * 1.1111111111111111111111111111111111111111111111111111 * 2^ 1023 - 00 0>
min normal = <Float (-1)^1 * 1.1111111111111111111111111111111111111111111111111111 * 2^ 1023 - 00 0>
min pos normal = <Float (-1)^0 * 1.0000000000000000000000000000000000000000000000000000 * 2^-1022 - 00 0>
max neg normal = <Float (-1)^1 * 1.0000000000000000000000000000000000000000000000000000 * 2^-1022 - 00 0>
min pos denormal = <Float (-1)^0 * 0.0000000000000000000000000000000000000000000000000001 * 2^      -1023 - 00 0>
max neg denormal = <Float (-1)^1 * 0.0000000000000000000000000000000000000000000000000001 * 2^      -1023 - 00 0>
min pos denormal<<1 = <Float (-1)^0 * 0.0000000000000000000000000000000000000000000000000010 * 2^      -1023 - 00 0>
max neg denormal<<1 = <Float (-1)^1 * 0.0000000000000000000000000000000000000000000000000010 * 2^      -1023 - 00 0>
+0 = <Float (-1)^0 * 0.0000000000 * 2^        -15 - 00 0>
+1 = <Float (-1)^0 * 1.0000000000 * 2^  0 - 00 0>
-1 = <Float (-1)^1 * 1.0000000000 * 2^  0 - 00 0>
+2 = <Float (-1)^0 * 1.0000000000 * 2^  1 - 00 0>
-2 = <Float (-1)^1 * 1.0000000000 * 2^  1 - 00 0>
+maxint = <Float (-1)^0 * 1.1111111111 * 2^ 15 - 00 0>
-maxint = <Float (-1)^1 * 1.1111111111 * 2^ 15 - 00 0>
+32768 = <Float (-1)^0 * 1.0000000000 * 2^ 15 - 00 0>
-32768 = <Float (-1)^1 * 1.0000000000 * 2^ 15 - 00 0>
+0 = <Float (-1)^0 * 0.00000000000000000000000 * 2^       -127 - 00 0>
+1 = <Float (-1)^0 * 1.00000000000000000000000 * 2^   0 - 00 0>
-1 = <Float (-1)^1 * 1.00000000000000000000000 * 2^   0 - 00 0>
+2 = <Float (-1)^0 * 1.00000000000000000000000 * 2^   1 - 00 0>
-2 = <Float (-1)^1 * 1.00000000000000000000000 * 2^   1 - 00 0>
+65503 = <Float (-1)^0 * 1.11111111101111100000000 * 2^  15 - 00 0>
-65503 = <Float (-1)^1 * 1.11111111101111100000000 * 2^  15 - 00 0>
+2147483648 = <Float (-1)^0 * 1.00000000000000000000000 * 2^  31 - 00 0>
-2147483648 = <Float (-1)^1 * 1.00000000000000000000000 * 2^  31 - 00 0>
+0 = <Float (-1)^0 * 0.0000000000000000000000000000000000000000000000000000 * 2^      -1023 - 00 0>
+1 = <Float (-1)^0 * 1.0000000000000000000000000000000000000000000000000000 * 2^    0 - 00 0>
-1 = <Float (-1)^1 * 1.0000000000000000000000000000000000000000000000000000 * 2^    0 - 00 0>
+2 = <Float (-1)^0 * 1.0000000000000000000000000000000000000000000000000000 * 2^    1 - 00 0>
-2 = <Float (-1)^1 * 1.0000000000000000000000000000000000000000000000000000 * 2^    1 - 00 0>
+65505 = <Float (-1)^0 * 1.1111111111000010000000000000000000000000000000000000 * 2^   15 - 00 0>
-65505 = <Float (-1)^1 * 1.1111111111000010000000000000000000000000000000000000 * 2^   15 - 00 0>
+4294967296 = <Float (-1)^0 * 1.0000000000000000000000000000000000000000000000000000 * 2^   32 - 00 0>
-4294967296 = <Float (-1)^1 * 1.0000000000000000000000000000000000000000000000000000 * 2^   32 - 00 0>
-2.3 <  2.3 = 1
 2.3 < -2.3 = 0
 2.3 <  4.3 = 1
 4.3 <  2.3 = 0
 2.2 <  2.3 = 1
 2.3 <  2.2 = 0
 2.3 <  2.3 = 0
-2.3 <=  2.3 = 1
 2.3 <= -2.3 = 0
 2.3 <=  4.3 = 1
 4.3 <=  2.3 = 0
 2.2 <=  2.3 = 1
 2.3 <=  2.2 = 0
 2.3 <=  2.3 = 1
-2.3 >  2.3 = 0
 2.3 > -2.3 = 1
 2.3 >  4.3 = 0
 4.3 >  2.3 = 1
 2.2 >  2.3 = 0
 2.3 >  2.2 = 1
 2.3 >  2.3 = 0
-2.3 >=  2.3 = 0
 2.3 >= -2.3 = 1
 2.3 >=  4.3 = 0
 4.3 >=  2.3 = 1
 2.2 >=  2.3 = 0
 2.3 >=  2.2 = 1
 2.3 >=  2.3 = 1
a = <Float (-1)^0 * 0.0000000001 * 2^        -15 - 00 1>
b = <Float (-1)^0 * 0.0000000010 * 2^        -15 - 00 1>
a < b = 1
a = <Float (-1)^0 * 1.0010011001 * 2^  1 - 10 1>
b = <Float (-1)^0 * 1.0010101000 * 2^  1 - 11 1>
compare(a,b) = 0
a = <Float (-1)^0 * 1.0010011001 * 2^  1 - 10 1>
b = <Float (-1)^0 * 1.0010101000 * 2^  1 - 11 1>
compare(b,a) = 2
a = <Float (-1)^0 * 1.0010101000 * 2^  1 - 11 1>
b = <Float (-1)^0 * 1.0010101000 * 2^  1 - 11 1>
compare(b,a) = 1
a = <Float (-1)^0 * 1.0010011001 * 2^  1 - 10 1>
b = <Float (-1)^0 * 1.0010101000 * 2^  1 - 11 1>
min(a,b) = <Float (-1)^0 * 1.0010011001 * 2^  1 - 10 1>
min(b,a) = <Float (-1)^0 * 1.0010011001 * 2^  1 - 10 1>
a = <Float (-1)^0 * 1.0010011001 * 2^  1 - 10 1>
b = <Float (-1)^0 * 1.0010101000 * 2^  1 - 11 1>
max(a,b) = <Float (-1)^0 * 1.0010101000 * 2^  1 - 11 1>
max(b,a) = <Float (-1)^0 * 1.0010101000 * 2^  1 - 11 1>
a = <Float (-1)^0 * 0.1111111111 * 2^        -15 - 11 1>
b = <Float (-1)^0 * 1.0000000000 * 2^-14 - 00 0>
a < b = 1
a <= b = 1
a > b = 0
a >= b = 0
compare(a,b) = 0
compare(b,a) = 2
min(a,b) = <Float (-1)^0 * 0.1111111111 * 2^        -15 - 11 1>
min(b,a) = <Float (-1)^0 * 0.1111111111 * 2^        -15 - 11 1>
max(a,b) = <Float (-1)^0 * 1.0000000000 * 2^-14 - 00 0>
max(b,a) = <Float (-1)^0 * 1.0000000000 * 2^-14 - 00 0>
a = <Float (-1)^0 * 0.1111111111 * 2^        -15 - 11 1>
b = <Float (-1)^0 * 0.1111111111 * 2^        -15 - 10 0>
a < b = 0
a <= b = 1
a > b = 0
a >= b = 1
compare(a,b) = 1
compare(b,a) = 1
min(a,b) = <Float (-1)^0 * 0.1111111111 * 2^        -15 - 10 0>
min(b,a) = <Float (-1)^0 * 0.1111111111 * 2^        -15 - 11 1>
max(a,b) = <Float (-1)^0 * 0.1111111111 * 2^        -15 - 10 0>
max(b,a) = <Float (-1)^0 * 0.1111111111 * 2^        -15 - 11 1>
0.9   =           0 (00000000)
1.0   =           1 (00000001)
33.99 =          33 (00000021)
-5.9  =          -5 (fffffffb)
-0.9  =           0 (00000000)
0.9   =           0 (00000000)
1.0   =           1 (00000001)
33.99 =          33 (00000021)
-5.9  =          -5 (fffffffb)
-0.9  =           0 (00000000)
0.9   =           0 (00000000)
1.0   =           1 (00000001)
33.99 =          33 (00000021)
-5.9  =          -5 (fffffffb)
-0.9  =           0 (00000000)
0   = <Float (-1)^0 * 0.0000000000 * 2^        -15 - 00 0>
1   = <Float (-1)^0 * 1.0000000000 * 2^  0 - 00 0>
-1  = <Float (-1)^1 * 1.0000000000 * 2^  0 - 00 0>
2   = <Float (-1)^0 * 1.0000000000 * 2^  1 - 00 0>
33  = <Float (-1)^0 * 1.0000100000 * 2^  5 - 00 0>
max = <Float (-1)^0 * infinity>
min = <Float (-1)^1 * infinity>
0   = <Float (-1)^0 * 0.00000000000000000000000 * 2^       -127 - 00 0>
1   = <Float (-1)^0 * 1.00000000000000000000000 * 2^   0 - 00 0>
-1  = <Float (-1)^1 * 1.00000000000000000000000 * 2^   0 - 00 0>
2   = <Float (-1)^0 * 1.00000000000000000000000 * 2^   1 - 00 0>
33  = <Float (-1)^0 * 1.00001000000000000000000 * 2^   5 - 00 0>
max = <Float (-1)^0 * infinity>
min = <Float (-1)^1 * infinity>
0   = <Float (-1)^0 * 0.0000000000000000000000000000000000000000000000000000 * 2^      -1023 - 00 0>
1   = <Float (-1)^0 * 1.0000000000000000000000000000000000000000000000000000 * 2^    0 - 00 0>
-1  = <Float (-1)^1 * 1.0000000000000000000000000000000000000000000000000000 * 2^    0 - 00 0>
2   = <Float (-1)^0 * 1.0000000000000000000000000000000000000000000000000000 * 2^    1 - 00 0>
33  = <Float (-1)^0 * 1.0000100000000000000000000000000000000000000000000000 * 2^    5 - 00 0>
max = <Float (-1)^0 * 1.1111111111111111111111111111110000000000000000000000 * 2^   30 - 00 0>
min = <Float (-1)^1 * 1.1111111111111111111111111111110000000000000000000000 * 2^   30 - 00 0>
snan = <Float SNaN>
+infinity = <Float SNaN>
-infinity = <Float SNaN>
1.40e-45 = <Float (-1)^0 * 0.00000000000000000000001 * 2^       -127 - 00 0>
0.4 = <Float (-1)^0 * 1.10011001100110011001100 * 2^  -2 - 11 1>
0.999 = <Float (-1)^0 * 1.11111111011111001110110 * 2^  -1 - 11 1>
1.999 = <Float (-1)^0 * 1.11111111011111001110110 * 2^  -1 - 10 0>
123.456 = <Float (-1)^0 * 1.11010010111100011000000 * 2^  -2 - 00 0>
100.001 = <Float (-1)^0 * 1.00000110000000000000000 * 2^ -10 - 00 0>
99999.999 = <Float (-1)^0 * 1.11111111000000000000000 * 2^  -1 - 00 0>
0.0002 = <Float (-1)^0 * 1.10100011011011100010111 * 2^ -13 - 01 1>
-1.999 = <Float (-1)^1 * 1.11111111011111001110110 * 2^  -1 - 10 0>
0.000 = <Float (-1)^0 * 0.00000000000000000000000 * 2^       -127 - 00 0>
1.000 = <Float (-1)^0 * 0.00000000000000000000000 * 2^       -127 - 00 0>
2.000 = <Float (-1)^0 * 0.00000000000000000000000 * 2^       -127 - 00 0>
2.000-1.000 = <Float (-1)^0 * 0.00000000000000000000000 * 2^       -127 - 00 0>
45-15 = <Float (-1)^0 * 0.00000000000000000000000 * 2^       -127 - 00 0>