NB. B >: B ---------------------------------------------------------------

x=. ?100$2
y=. ?100$2
(x>:y) -: (#.x,.y){1 0 1 1
(x>:y) -: (z+x)>:z+y   [ z=.{.0 4.5
(x>:y) -: (z*x)>:z*y   [ z=.{.1 4j5
(z>:y) -: (($y)$z)>:y  [ z=.?2
(x>:z) -: x>:($x)$z    [ z=.?2

(x>:y) -: (40$"0 x)>:y [ x=. ?10$2    [ y=. ?10 40$2
(x>:y) -: x>:40$"0 y   [ x=. ?10 40$2 [ y=. ?10$2

1 0 1 1 -: 0 0 1 1 >: 0 1 0 1


NB. B >: I ---------------------------------------------------------------

x=. ?100$2
y=. _1e5+?100$2e5
(x>:y) -: (z+x)>:z+y   [ z=.{.0 4.5
(x>:y) -: (z*x)>:z*y   [ z=.{.1 4j5
(z>:y) -: (($y)$z)>:y  [ z=.?2
(x>:z) -: x>:($x)$z    [ z=._1e5+?2e5

(x>:y) -: (40$"0 x)>:y [ x=. ?10$2    [ y=. _1e5+?10 40$2e5
(x>:y) -: x>:40$"0 y   [ x=. ?10 40$2 [ y=. _1e5+?10$2e5

1 0 1 1 1 0 0 1 -: 0 0 1 1 0 0 1 1 >: 0 1 0 1 _4 3 4 _3
1 1 -: 0 1 >: _2147483648
0 0 -: 0 1 >:  2147483647


NB. B >: D ---------------------------------------------------------------

x=. ?100$2
y=. o._1e5+?100$2e5
(x>:y) -: (z+x)>:z+y   [ z=.{.0 4.5
(x>:y) -: (z*x)>:z*y   [ z=.{.1 4j5
(z>:y) -: (($y)$z)>:y  [ z=.?2
(x>:z) -: x>:($x)$z    [ z=.o._1e5+?2e5

(x>:y) -: (40$"0 x)>:y [ x=. ?10$2    [ y=. o._1e5+?10 40$2e5
(x>:y) -: x>:40$"0 y   [ x=. ?10 40$2 [ y=. o._1e5+?10$2e5

1 0 1 1 1 0 1 0 -: 0 0 1 1 0 0 1 1 >: 0 1 0 1 _2.5 1.2 _2.5 1.2
(14 6#0 1) -: 1>:1+10^-i.20
1 0 1 0 -: 0 0 1 1 >: __ _ __ _


NB. I >: B ---------------------------------------------------------------

x=. _1e5+?100$2e5
y=. ?100$2
(x>:y) -: (z+x)>:z+y   [ z=.{.0 4.5
(x>:y) -: (z*x)>:z*y   [ z=.{.1 4j5
(z>:y) -: (($y)$z)>:y  [ z=._1e5+?2e5
(x>:z) -: x>:($x)$z    [ z=.?2

(x>:y) -: (40$"0 x)>:y [ x=. _1e5+?10$2e5    [ y=. ?10 40$2
(x>:y) -: x>:40$"0 y   [ x=. _1e5+?10 40$2e5 [ y=. ?10$2

0 0 1 1 -: _3 _3 4 4 >: 0 1 0 1
1 1 -:  2147483647 >: 0 1
0 0 -: _2147483648 >: 0 1


NB. I >: I ---------------------------------------------------------------

x=. _1e5+?100$2e5
y=. _1e5+?100$2e5
(x>:y) -: (z+x)>:z+y   [ z=.{.0 4.5
(x>:y) -: (z*x)>:z*y   [ z=.{.1 4j5
(z>:y) -: (($y)$z)>:y  [ z=.?2e6
(x>:z) -: x>:($x)$z    [ z=._1e5+?2e5

(x>:y) -: (40$"0 x)>:y [ x=. _1e5+?10$2e5    [ y=. _1e5+?10 40$2e5
(x>:y) -: x>:40$"0 y   [ x=. _1e5+?10 40$2e5 [ y=. _1e5+?10$2e5

1 1 1 1 1 0 0 0 -: 4>:i.8
0 0 0 0 1 1 1 1 -: (i.8)>:4
0 0 0 0 1 0 -: _2147483648 >: 2 0 1e9 2e9 _2147483648 2147483647
1 1 1 1 1 1 -:  2147483647 >: 2 0 1e9 2e9 _2147483648 2147483647


NB. I >: D ---------------------------------------------------------------

x=. _1e5+?100$2e5
y=. o._1e5+?100$2e5
(x>:y) -: (z+x)>:z+y   [ z=.{.0 4.5
(x>:y) -: (z*x)>:z*y   [ z=.{.1 4j5
(z>:y) -: (($y)$z)>:y  [ z=.?2e6
(x>:z) -: x>:($x)$z    [ z=.o._1e5+?2e5

(x>:y) -: (40$"0 x)>:y [ x=. _1e5+?10$2e5    [ y=. o._1e5+?10 40$2e5
(x>:y) -: x>:40$"0 y   [ x=. _1e5+?10 40$2e5 [ y=. o._1e5+?10$2e5

1 1 1 1 0 0 0 0 -: 4>:0.5+i.8
0 0 0 0 1 1 1 1 -: (0.5+i.8)>:4
0 0 0 0 1 0 -: _2147483648 >:2.5 0 1e9 2e9 _2147483648 2147483647
1 1 1 1 1 1 -:  2147483647 >:2.5 0 1e9 2e9 _2147483648 2147483647
(14 6#0 1) -: 17 >: 17*1+10^-i.20
1 0 1 0 -: 4 4 _5 _5 >: __ _ __ _
1 0 1 0 -: _2147483648 _2147483648 2147483647 2147483647 >: __ _ __ _


NB. D >: B ---------------------------------------------------------------

x=. o._1e5+?100$2e5
y=. ?100$2
(x>:y) -: (z+x)>:z+y   [ z=.{.0 4.5
(x>:y) -: (z*x)>:z*y   [ z=.{.1 4j5
(z>:y) -: (($y)$z)>:y  [ z=.o._1e5+?2e5
(x>:z) -: x>:($x)$z    [ z=.?2

(x>:y) -: (40$"0 x)>:y [ x=. o._1e5+?10$2e5    [ y=. ?10 40$2
(x>:y) -: x>:40$"0 y   [ x=. o._1e5+?10 40$2e5 [ y=. ?10$2

(14 6#0 1) -: (1-10^-i.20) >: 1
(20$1) -: ( 10^-i.20) >: 0
(20$0) -: (-10^-i.20) >: 0


NB. D >: I ---------------------------------------------------------------

x=. o._1e5+?100$2e5
y=. _1e5+?100$2e5
(x>:y) -: (z+x)>:z+y   [ z=.{.0 4.5
(x>:y) -: (z*x)>:z*y   [ z=.{.1 4j5
(z>:y) -: (($y)$z)>:y  [ z=.o._1e5+?2e5
(x>:z) -: x>:($x)$z    [ z=._1e5+?2e5

(x>:y) -: (40$"0 x)>:y [ x=. o._1e5+?10$2e5    [ y=. _1e5+?10 40$2e5
(x>:y) -: x>:40$"0 y   [ x=. o._1e5+?10 40$2e5 [ y=. _1e5+?10$2e5

(14 6#0 1) -: (17*1-10^-i.20) >: 20$17
0 0 1 1 -: __ __ _ _ >: _1e9+?4$2e9


NB. D >: D ---------------------------------------------------------------

x=. o._1e5+?100$2e5
y=. o._1e5+?100$2e5
(x>:y) -: (z+x)>:z+y   [ z=.{.0 4.5
(x>:y) -: (z*x)>:z*y   [ z=.{.1 4j5
(z>:y) -: (($y)$z)>:y  [ z=.o._1e5+?2e5
(x>:z) -: x>:($x)$z    [ z=.o._1e5+?2e5

(x>:y) -: (40$"0 x)>:y [ x=. o._1e5+?10$2e5    [ y=. o._1e5+?10 40$2e5
(x>:y) -: x>:40$"0 y   [ x=. o._1e5+?10 40$2e5 [ y=. o._1e5+?10$2e5

1 -: (o.1) >: ^1
0 -: 1x1 >: 1p1

4!:55 ;:'x y z'