Edit

kc3-lang/kc3/test/ic3/integer_gt.in

Branch :

  • test/ic3/integer_gt.in
  • quote -170141183460469231731687303715884105728 > -170141183460469231731687303715884105728
    -170141183460469231731687303715884105728 > -170141183460469231731687303715884105728
    quote -170141183460469231731687303715884105728 > -170141183460469231731687303715884105727
    -170141183460469231731687303715884105728 > -170141183460469231731687303715884105727
    quote -170141183460469231731687303715884105728 > -9223372036854775808
    -170141183460469231731687303715884105728 > -9223372036854775808
    quote -170141183460469231731687303715884105728 > -9223372036854775807
    -170141183460469231731687303715884105728 > -9223372036854775807
    quote -170141183460469231731687303715884105728 > -2147483648
    -170141183460469231731687303715884105728 > -2147483648
    quote -170141183460469231731687303715884105728 > -2147483647
    -170141183460469231731687303715884105728 > -2147483647
    quote -170141183460469231731687303715884105728 > -32768
    -170141183460469231731687303715884105728 > -32768
    quote -170141183460469231731687303715884105728 > -32767
    -170141183460469231731687303715884105728 > -32767
    quote -170141183460469231731687303715884105728 > -128
    -170141183460469231731687303715884105728 > -128
    quote -170141183460469231731687303715884105728 > -127
    -170141183460469231731687303715884105728 > -127
    quote -170141183460469231731687303715884105728 > 255
    -170141183460469231731687303715884105728 > 255
    quote -170141183460469231731687303715884105728 > 256
    -170141183460469231731687303715884105728 > 256
    quote -170141183460469231731687303715884105728 > 65535
    -170141183460469231731687303715884105728 > 65535
    quote -170141183460469231731687303715884105728 > 65536
    -170141183460469231731687303715884105728 > 65536
    quote -170141183460469231731687303715884105728 > 4294967295
    -170141183460469231731687303715884105728 > 4294967295
    quote -170141183460469231731687303715884105728 > 4294967296
    -170141183460469231731687303715884105728 > 4294967296
    quote -170141183460469231731687303715884105728 > 18446744073709551615
    -170141183460469231731687303715884105728 > 18446744073709551615
    quote -170141183460469231731687303715884105728 > 18446744073709551616
    -170141183460469231731687303715884105728 > 18446744073709551616
    quote -170141183460469231731687303715884105728 > 340282366920938463463374607431768211455
    -170141183460469231731687303715884105728 > 340282366920938463463374607431768211455
    quote -170141183460469231731687303715884105728 > 340282366920938463463374607431768211456
    -170141183460469231731687303715884105728 > 340282366920938463463374607431768211456
    quote -170141183460469231731687303715884105727 > -170141183460469231731687303715884105728
    -170141183460469231731687303715884105727 > -170141183460469231731687303715884105728
    quote -170141183460469231731687303715884105727 > -170141183460469231731687303715884105727
    -170141183460469231731687303715884105727 > -170141183460469231731687303715884105727
    quote -170141183460469231731687303715884105727 > -9223372036854775808
    -170141183460469231731687303715884105727 > -9223372036854775808
    quote -170141183460469231731687303715884105727 > -9223372036854775807
    -170141183460469231731687303715884105727 > -9223372036854775807
    quote -170141183460469231731687303715884105727 > -2147483648
    -170141183460469231731687303715884105727 > -2147483648
    quote -170141183460469231731687303715884105727 > -2147483647
    -170141183460469231731687303715884105727 > -2147483647
    quote -170141183460469231731687303715884105727 > -32768
    -170141183460469231731687303715884105727 > -32768
    quote -170141183460469231731687303715884105727 > -32767
    -170141183460469231731687303715884105727 > -32767
    quote -170141183460469231731687303715884105727 > -128
    -170141183460469231731687303715884105727 > -128
    quote -170141183460469231731687303715884105727 > -127
    -170141183460469231731687303715884105727 > -127
    quote -170141183460469231731687303715884105727 > 255
    -170141183460469231731687303715884105727 > 255
    quote -170141183460469231731687303715884105727 > 256
    -170141183460469231731687303715884105727 > 256
    quote -170141183460469231731687303715884105727 > 65535
    -170141183460469231731687303715884105727 > 65535
    quote -170141183460469231731687303715884105727 > 65536
    -170141183460469231731687303715884105727 > 65536
    quote -170141183460469231731687303715884105727 > 4294967295
    -170141183460469231731687303715884105727 > 4294967295
    quote -170141183460469231731687303715884105727 > 4294967296
    -170141183460469231731687303715884105727 > 4294967296
    quote -170141183460469231731687303715884105727 > 18446744073709551615
    -170141183460469231731687303715884105727 > 18446744073709551615
    quote -170141183460469231731687303715884105727 > 18446744073709551616
    -170141183460469231731687303715884105727 > 18446744073709551616
    quote -170141183460469231731687303715884105727 > 340282366920938463463374607431768211455
    -170141183460469231731687303715884105727 > 340282366920938463463374607431768211455
    quote -170141183460469231731687303715884105727 > 340282366920938463463374607431768211456
    -170141183460469231731687303715884105727 > 340282366920938463463374607431768211456
    quote -9223372036854775808 > -170141183460469231731687303715884105728
    -9223372036854775808 > -170141183460469231731687303715884105728
    quote -9223372036854775808 > -170141183460469231731687303715884105727
    -9223372036854775808 > -170141183460469231731687303715884105727
    quote -9223372036854775808 > -9223372036854775808
    -9223372036854775808 > -9223372036854775808
    quote -9223372036854775808 > -9223372036854775807
    -9223372036854775808 > -9223372036854775807
    quote -9223372036854775808 > -2147483648
    -9223372036854775808 > -2147483648
    quote -9223372036854775808 > -2147483647
    -9223372036854775808 > -2147483647
    quote -9223372036854775808 > -32768
    -9223372036854775808 > -32768
    quote -9223372036854775808 > -32767
    -9223372036854775808 > -32767
    quote -9223372036854775808 > -128
    -9223372036854775808 > -128
    quote -9223372036854775808 > -127
    -9223372036854775808 > -127
    quote -9223372036854775808 > 255
    -9223372036854775808 > 255
    quote -9223372036854775808 > 256
    -9223372036854775808 > 256
    quote -9223372036854775808 > 65535
    -9223372036854775808 > 65535
    quote -9223372036854775808 > 65536
    -9223372036854775808 > 65536
    quote -9223372036854775808 > 4294967295
    -9223372036854775808 > 4294967295
    quote -9223372036854775808 > 4294967296
    -9223372036854775808 > 4294967296
    quote -9223372036854775808 > 18446744073709551615
    -9223372036854775808 > 18446744073709551615
    quote -9223372036854775808 > 18446744073709551616
    -9223372036854775808 > 18446744073709551616
    quote -9223372036854775808 > 340282366920938463463374607431768211455
    -9223372036854775808 > 340282366920938463463374607431768211455
    quote -9223372036854775808 > 340282366920938463463374607431768211456
    -9223372036854775808 > 340282366920938463463374607431768211456
    quote -9223372036854775807 > -170141183460469231731687303715884105728
    -9223372036854775807 > -170141183460469231731687303715884105728
    quote -9223372036854775807 > -170141183460469231731687303715884105727
    -9223372036854775807 > -170141183460469231731687303715884105727
    quote -9223372036854775807 > -9223372036854775808
    -9223372036854775807 > -9223372036854775808
    quote -9223372036854775807 > -9223372036854775807
    -9223372036854775807 > -9223372036854775807
    quote -9223372036854775807 > -2147483648
    -9223372036854775807 > -2147483648
    quote -9223372036854775807 > -2147483647
    -9223372036854775807 > -2147483647
    quote -9223372036854775807 > -32768
    -9223372036854775807 > -32768
    quote -9223372036854775807 > -32767
    -9223372036854775807 > -32767
    quote -9223372036854775807 > -128
    -9223372036854775807 > -128
    quote -9223372036854775807 > -127
    -9223372036854775807 > -127
    quote -9223372036854775807 > 255
    -9223372036854775807 > 255
    quote -9223372036854775807 > 256
    -9223372036854775807 > 256
    quote -9223372036854775807 > 65535
    -9223372036854775807 > 65535
    quote -9223372036854775807 > 65536
    -9223372036854775807 > 65536
    quote -9223372036854775807 > 4294967295
    -9223372036854775807 > 4294967295
    quote -9223372036854775807 > 4294967296
    -9223372036854775807 > 4294967296
    quote -9223372036854775807 > 18446744073709551615
    -9223372036854775807 > 18446744073709551615
    quote -9223372036854775807 > 18446744073709551616
    -9223372036854775807 > 18446744073709551616
    quote -9223372036854775807 > 340282366920938463463374607431768211455
    -9223372036854775807 > 340282366920938463463374607431768211455
    quote -9223372036854775807 > 340282366920938463463374607431768211456
    -9223372036854775807 > 340282366920938463463374607431768211456
    quote -2147483648 > -170141183460469231731687303715884105728
    -2147483648 > -170141183460469231731687303715884105728
    quote -2147483648 > -170141183460469231731687303715884105727
    -2147483648 > -170141183460469231731687303715884105727
    quote -2147483648 > -9223372036854775808
    -2147483648 > -9223372036854775808
    quote -2147483648 > -9223372036854775807
    -2147483648 > -9223372036854775807
    quote -2147483648 > -2147483648
    -2147483648 > -2147483648
    quote -2147483648 > -2147483647
    -2147483648 > -2147483647
    quote -2147483648 > -32768
    -2147483648 > -32768
    quote -2147483648 > -32767
    -2147483648 > -32767
    quote -2147483648 > -128
    -2147483648 > -128
    quote -2147483648 > -127
    -2147483648 > -127
    quote -2147483648 > 255
    -2147483648 > 255
    quote -2147483648 > 256
    -2147483648 > 256
    quote -2147483648 > 65535
    -2147483648 > 65535
    quote -2147483648 > 65536
    -2147483648 > 65536
    quote -2147483648 > 4294967295
    -2147483648 > 4294967295
    quote -2147483648 > 4294967296
    -2147483648 > 4294967296
    quote -2147483648 > 18446744073709551615
    -2147483648 > 18446744073709551615
    quote -2147483648 > 18446744073709551616
    -2147483648 > 18446744073709551616
    quote -2147483648 > 340282366920938463463374607431768211455
    -2147483648 > 340282366920938463463374607431768211455
    quote -2147483648 > 340282366920938463463374607431768211456
    -2147483648 > 340282366920938463463374607431768211456
    quote -2147483647 > -170141183460469231731687303715884105728
    -2147483647 > -170141183460469231731687303715884105728
    quote -2147483647 > -170141183460469231731687303715884105727
    -2147483647 > -170141183460469231731687303715884105727
    quote -2147483647 > -9223372036854775808
    -2147483647 > -9223372036854775808
    quote -2147483647 > -9223372036854775807
    -2147483647 > -9223372036854775807
    quote -2147483647 > -2147483648
    -2147483647 > -2147483648
    quote -2147483647 > -2147483647
    -2147483647 > -2147483647
    quote -2147483647 > -32768
    -2147483647 > -32768
    quote -2147483647 > -32767
    -2147483647 > -32767
    quote -2147483647 > -128
    -2147483647 > -128
    quote -2147483647 > -127
    -2147483647 > -127
    quote -2147483647 > 255
    -2147483647 > 255
    quote -2147483647 > 256
    -2147483647 > 256
    quote -2147483647 > 65535
    -2147483647 > 65535
    quote -2147483647 > 65536
    -2147483647 > 65536
    quote -2147483647 > 4294967295
    -2147483647 > 4294967295
    quote -2147483647 > 4294967296
    -2147483647 > 4294967296
    quote -2147483647 > 18446744073709551615
    -2147483647 > 18446744073709551615
    quote -2147483647 > 18446744073709551616
    -2147483647 > 18446744073709551616
    quote -2147483647 > 340282366920938463463374607431768211455
    -2147483647 > 340282366920938463463374607431768211455
    quote -2147483647 > 340282366920938463463374607431768211456
    -2147483647 > 340282366920938463463374607431768211456
    quote -32768 > -170141183460469231731687303715884105728
    -32768 > -170141183460469231731687303715884105728
    quote -32768 > -170141183460469231731687303715884105727
    -32768 > -170141183460469231731687303715884105727
    quote -32768 > -9223372036854775808
    -32768 > -9223372036854775808
    quote -32768 > -9223372036854775807
    -32768 > -9223372036854775807
    quote -32768 > -2147483648
    -32768 > -2147483648
    quote -32768 > -2147483647
    -32768 > -2147483647
    quote -32768 > -32768
    -32768 > -32768
    quote -32768 > -32767
    -32768 > -32767
    quote -32768 > -128
    -32768 > -128
    quote -32768 > -127
    -32768 > -127
    quote -32768 > 255
    -32768 > 255
    quote -32768 > 256
    -32768 > 256
    quote -32768 > 65535
    -32768 > 65535
    quote -32768 > 65536
    -32768 > 65536
    quote -32768 > 4294967295
    -32768 > 4294967295
    quote -32768 > 4294967296
    -32768 > 4294967296
    quote -32768 > 18446744073709551615
    -32768 > 18446744073709551615
    quote -32768 > 18446744073709551616
    -32768 > 18446744073709551616
    quote -32768 > 340282366920938463463374607431768211455
    -32768 > 340282366920938463463374607431768211455
    quote -32768 > 340282366920938463463374607431768211456
    -32768 > 340282366920938463463374607431768211456
    quote -32767 > -170141183460469231731687303715884105728
    -32767 > -170141183460469231731687303715884105728
    quote -32767 > -170141183460469231731687303715884105727
    -32767 > -170141183460469231731687303715884105727
    quote -32767 > -9223372036854775808
    -32767 > -9223372036854775808
    quote -32767 > -9223372036854775807
    -32767 > -9223372036854775807
    quote -32767 > -2147483648
    -32767 > -2147483648
    quote -32767 > -2147483647
    -32767 > -2147483647
    quote -32767 > -32768
    -32767 > -32768
    quote -32767 > -32767
    -32767 > -32767
    quote -32767 > -128
    -32767 > -128
    quote -32767 > -127
    -32767 > -127
    quote -32767 > 255
    -32767 > 255
    quote -32767 > 256
    -32767 > 256
    quote -32767 > 65535
    -32767 > 65535
    quote -32767 > 65536
    -32767 > 65536
    quote -32767 > 4294967295
    -32767 > 4294967295
    quote -32767 > 4294967296
    -32767 > 4294967296
    quote -32767 > 18446744073709551615
    -32767 > 18446744073709551615
    quote -32767 > 18446744073709551616
    -32767 > 18446744073709551616
    quote -32767 > 340282366920938463463374607431768211455
    -32767 > 340282366920938463463374607431768211455
    quote -32767 > 340282366920938463463374607431768211456
    -32767 > 340282366920938463463374607431768211456
    quote -128 > -170141183460469231731687303715884105728
    -128 > -170141183460469231731687303715884105728
    quote -128 > -170141183460469231731687303715884105727
    -128 > -170141183460469231731687303715884105727
    quote -128 > -9223372036854775808
    -128 > -9223372036854775808
    quote -128 > -9223372036854775807
    -128 > -9223372036854775807
    quote -128 > -2147483648
    -128 > -2147483648
    quote -128 > -2147483647
    -128 > -2147483647
    quote -128 > -32768
    -128 > -32768
    quote -128 > -32767
    -128 > -32767
    quote -128 > -128
    -128 > -128
    quote -128 > -127
    -128 > -127
    quote -128 > 255
    -128 > 255
    quote -128 > 256
    -128 > 256
    quote -128 > 65535
    -128 > 65535
    quote -128 > 65536
    -128 > 65536
    quote -128 > 4294967295
    -128 > 4294967295
    quote -128 > 4294967296
    -128 > 4294967296
    quote -128 > 18446744073709551615
    -128 > 18446744073709551615
    quote -128 > 18446744073709551616
    -128 > 18446744073709551616
    quote -128 > 340282366920938463463374607431768211455
    -128 > 340282366920938463463374607431768211455
    quote -128 > 340282366920938463463374607431768211456
    -128 > 340282366920938463463374607431768211456
    quote -127 > -170141183460469231731687303715884105728
    -127 > -170141183460469231731687303715884105728
    quote -127 > -170141183460469231731687303715884105727
    -127 > -170141183460469231731687303715884105727
    quote -127 > -9223372036854775808
    -127 > -9223372036854775808
    quote -127 > -9223372036854775807
    -127 > -9223372036854775807
    quote -127 > -2147483648
    -127 > -2147483648
    quote -127 > -2147483647
    -127 > -2147483647
    quote -127 > -32768
    -127 > -32768
    quote -127 > -32767
    -127 > -32767
    quote -127 > -128
    -127 > -128
    quote -127 > -127
    -127 > -127
    quote -127 > 255
    -127 > 255
    quote -127 > 256
    -127 > 256
    quote -127 > 65535
    -127 > 65535
    quote -127 > 65536
    -127 > 65536
    quote -127 > 4294967295
    -127 > 4294967295
    quote -127 > 4294967296
    -127 > 4294967296
    quote -127 > 18446744073709551615
    -127 > 18446744073709551615
    quote -127 > 18446744073709551616
    -127 > 18446744073709551616
    quote -127 > 340282366920938463463374607431768211455
    -127 > 340282366920938463463374607431768211455
    quote -127 > 340282366920938463463374607431768211456
    -127 > 340282366920938463463374607431768211456
    quote 255 > -170141183460469231731687303715884105728
    255 > -170141183460469231731687303715884105728
    quote 255 > -170141183460469231731687303715884105727
    255 > -170141183460469231731687303715884105727
    quote 255 > -9223372036854775808
    255 > -9223372036854775808
    quote 255 > -9223372036854775807
    255 > -9223372036854775807
    quote 255 > -2147483648
    255 > -2147483648
    quote 255 > -2147483647
    255 > -2147483647
    quote 255 > -32768
    255 > -32768
    quote 255 > -32767
    255 > -32767
    quote 255 > -128
    255 > -128
    quote 255 > -127
    255 > -127
    quote 255 > 255
    255 > 255
    quote 255 > 256
    255 > 256
    quote 255 > 65535
    255 > 65535
    quote 255 > 65536
    255 > 65536
    quote 255 > 4294967295
    255 > 4294967295
    quote 255 > 4294967296
    255 > 4294967296
    quote 255 > 18446744073709551615
    255 > 18446744073709551615
    quote 255 > 18446744073709551616
    255 > 18446744073709551616
    quote 255 > 340282366920938463463374607431768211455
    255 > 340282366920938463463374607431768211455
    quote 255 > 340282366920938463463374607431768211456
    255 > 340282366920938463463374607431768211456
    quote 256 > -170141183460469231731687303715884105728
    256 > -170141183460469231731687303715884105728
    quote 256 > -170141183460469231731687303715884105727
    256 > -170141183460469231731687303715884105727
    quote 256 > -9223372036854775808
    256 > -9223372036854775808
    quote 256 > -9223372036854775807
    256 > -9223372036854775807
    quote 256 > -2147483648
    256 > -2147483648
    quote 256 > -2147483647
    256 > -2147483647
    quote 256 > -32768
    256 > -32768
    quote 256 > -32767
    256 > -32767
    quote 256 > -128
    256 > -128
    quote 256 > -127
    256 > -127
    quote 256 > 255
    256 > 255
    quote 256 > 256
    256 > 256
    quote 256 > 65535
    256 > 65535
    quote 256 > 65536
    256 > 65536
    quote 256 > 4294967295
    256 > 4294967295
    quote 256 > 4294967296
    256 > 4294967296
    quote 256 > 18446744073709551615
    256 > 18446744073709551615
    quote 256 > 18446744073709551616
    256 > 18446744073709551616
    quote 256 > 340282366920938463463374607431768211455
    256 > 340282366920938463463374607431768211455
    quote 256 > 340282366920938463463374607431768211456
    256 > 340282366920938463463374607431768211456
    quote 65535 > -170141183460469231731687303715884105728
    65535 > -170141183460469231731687303715884105728
    quote 65535 > -170141183460469231731687303715884105727
    65535 > -170141183460469231731687303715884105727
    quote 65535 > -9223372036854775808
    65535 > -9223372036854775808
    quote 65535 > -9223372036854775807
    65535 > -9223372036854775807
    quote 65535 > -2147483648
    65535 > -2147483648
    quote 65535 > -2147483647
    65535 > -2147483647
    quote 65535 > -32768
    65535 > -32768
    quote 65535 > -32767
    65535 > -32767
    quote 65535 > -128
    65535 > -128
    quote 65535 > -127
    65535 > -127
    quote 65535 > 255
    65535 > 255
    quote 65535 > 256
    65535 > 256
    quote 65535 > 65535
    65535 > 65535
    quote 65535 > 65536
    65535 > 65536
    quote 65535 > 4294967295
    65535 > 4294967295
    quote 65535 > 4294967296
    65535 > 4294967296
    quote 65535 > 18446744073709551615
    65535 > 18446744073709551615
    quote 65535 > 18446744073709551616
    65535 > 18446744073709551616
    quote 65535 > 340282366920938463463374607431768211455
    65535 > 340282366920938463463374607431768211455
    quote 65535 > 340282366920938463463374607431768211456
    65535 > 340282366920938463463374607431768211456
    quote 65536 > -170141183460469231731687303715884105728
    65536 > -170141183460469231731687303715884105728
    quote 65536 > -170141183460469231731687303715884105727
    65536 > -170141183460469231731687303715884105727
    quote 65536 > -9223372036854775808
    65536 > -9223372036854775808
    quote 65536 > -9223372036854775807
    65536 > -9223372036854775807
    quote 65536 > -2147483648
    65536 > -2147483648
    quote 65536 > -2147483647
    65536 > -2147483647
    quote 65536 > -32768
    65536 > -32768
    quote 65536 > -32767
    65536 > -32767
    quote 65536 > -128
    65536 > -128
    quote 65536 > -127
    65536 > -127
    quote 65536 > 255
    65536 > 255
    quote 65536 > 256
    65536 > 256
    quote 65536 > 65535
    65536 > 65535
    quote 65536 > 65536
    65536 > 65536
    quote 65536 > 4294967295
    65536 > 4294967295
    quote 65536 > 4294967296
    65536 > 4294967296
    quote 65536 > 18446744073709551615
    65536 > 18446744073709551615
    quote 65536 > 18446744073709551616
    65536 > 18446744073709551616
    quote 65536 > 340282366920938463463374607431768211455
    65536 > 340282366920938463463374607431768211455
    quote 65536 > 340282366920938463463374607431768211456
    65536 > 340282366920938463463374607431768211456
    quote 4294967295 > -170141183460469231731687303715884105728
    4294967295 > -170141183460469231731687303715884105728
    quote 4294967295 > -170141183460469231731687303715884105727
    4294967295 > -170141183460469231731687303715884105727
    quote 4294967295 > -9223372036854775808
    4294967295 > -9223372036854775808
    quote 4294967295 > -9223372036854775807
    4294967295 > -9223372036854775807
    quote 4294967295 > -2147483648
    4294967295 > -2147483648
    quote 4294967295 > -2147483647
    4294967295 > -2147483647
    quote 4294967295 > -32768
    4294967295 > -32768
    quote 4294967295 > -32767
    4294967295 > -32767
    quote 4294967295 > -128
    4294967295 > -128
    quote 4294967295 > -127
    4294967295 > -127
    quote 4294967295 > 255
    4294967295 > 255
    quote 4294967295 > 256
    4294967295 > 256
    quote 4294967295 > 65535
    4294967295 > 65535
    quote 4294967295 > 65536
    4294967295 > 65536
    quote 4294967295 > 4294967295
    4294967295 > 4294967295
    quote 4294967295 > 4294967296
    4294967295 > 4294967296
    quote 4294967295 > 18446744073709551615
    4294967295 > 18446744073709551615
    quote 4294967295 > 18446744073709551616
    4294967295 > 18446744073709551616
    quote 4294967295 > 340282366920938463463374607431768211455
    4294967295 > 340282366920938463463374607431768211455
    quote 4294967295 > 340282366920938463463374607431768211456
    4294967295 > 340282366920938463463374607431768211456
    quote 4294967296 > -170141183460469231731687303715884105728
    4294967296 > -170141183460469231731687303715884105728
    quote 4294967296 > -170141183460469231731687303715884105727
    4294967296 > -170141183460469231731687303715884105727
    quote 4294967296 > -9223372036854775808
    4294967296 > -9223372036854775808
    quote 4294967296 > -9223372036854775807
    4294967296 > -9223372036854775807
    quote 4294967296 > -2147483648
    4294967296 > -2147483648
    quote 4294967296 > -2147483647
    4294967296 > -2147483647
    quote 4294967296 > -32768
    4294967296 > -32768
    quote 4294967296 > -32767
    4294967296 > -32767
    quote 4294967296 > -128
    4294967296 > -128
    quote 4294967296 > -127
    4294967296 > -127
    quote 4294967296 > 255
    4294967296 > 255
    quote 4294967296 > 256
    4294967296 > 256
    quote 4294967296 > 65535
    4294967296 > 65535
    quote 4294967296 > 65536
    4294967296 > 65536
    quote 4294967296 > 4294967295
    4294967296 > 4294967295
    quote 4294967296 > 4294967296
    4294967296 > 4294967296
    quote 4294967296 > 18446744073709551615
    4294967296 > 18446744073709551615
    quote 4294967296 > 18446744073709551616
    4294967296 > 18446744073709551616
    quote 4294967296 > 340282366920938463463374607431768211455
    4294967296 > 340282366920938463463374607431768211455
    quote 4294967296 > 340282366920938463463374607431768211456
    4294967296 > 340282366920938463463374607431768211456
    quote 18446744073709551615 > -170141183460469231731687303715884105728
    18446744073709551615 > -170141183460469231731687303715884105728
    quote 18446744073709551615 > -170141183460469231731687303715884105727
    18446744073709551615 > -170141183460469231731687303715884105727
    quote 18446744073709551615 > -9223372036854775808
    18446744073709551615 > -9223372036854775808
    quote 18446744073709551615 > -9223372036854775807
    18446744073709551615 > -9223372036854775807
    quote 18446744073709551615 > -2147483648
    18446744073709551615 > -2147483648
    quote 18446744073709551615 > -2147483647
    18446744073709551615 > -2147483647
    quote 18446744073709551615 > -32768
    18446744073709551615 > -32768
    quote 18446744073709551615 > -32767
    18446744073709551615 > -32767
    quote 18446744073709551615 > -128
    18446744073709551615 > -128
    quote 18446744073709551615 > -127
    18446744073709551615 > -127
    quote 18446744073709551615 > 255
    18446744073709551615 > 255
    quote 18446744073709551615 > 256
    18446744073709551615 > 256
    quote 18446744073709551615 > 65535
    18446744073709551615 > 65535
    quote 18446744073709551615 > 65536
    18446744073709551615 > 65536
    quote 18446744073709551615 > 4294967295
    18446744073709551615 > 4294967295
    quote 18446744073709551615 > 4294967296
    18446744073709551615 > 4294967296
    quote 18446744073709551615 > 18446744073709551615
    18446744073709551615 > 18446744073709551615
    quote 18446744073709551615 > 18446744073709551616
    18446744073709551615 > 18446744073709551616
    quote 18446744073709551615 > 340282366920938463463374607431768211455
    18446744073709551615 > 340282366920938463463374607431768211455
    quote 18446744073709551615 > 340282366920938463463374607431768211456
    18446744073709551615 > 340282366920938463463374607431768211456
    quote 18446744073709551616 > -170141183460469231731687303715884105728
    18446744073709551616 > -170141183460469231731687303715884105728
    quote 18446744073709551616 > -170141183460469231731687303715884105727
    18446744073709551616 > -170141183460469231731687303715884105727
    quote 18446744073709551616 > -9223372036854775808
    18446744073709551616 > -9223372036854775808
    quote 18446744073709551616 > -9223372036854775807
    18446744073709551616 > -9223372036854775807
    quote 18446744073709551616 > -2147483648
    18446744073709551616 > -2147483648
    quote 18446744073709551616 > -2147483647
    18446744073709551616 > -2147483647
    quote 18446744073709551616 > -32768
    18446744073709551616 > -32768
    quote 18446744073709551616 > -32767
    18446744073709551616 > -32767
    quote 18446744073709551616 > -128
    18446744073709551616 > -128
    quote 18446744073709551616 > -127
    18446744073709551616 > -127
    quote 18446744073709551616 > 255
    18446744073709551616 > 255
    quote 18446744073709551616 > 256
    18446744073709551616 > 256
    quote 18446744073709551616 > 65535
    18446744073709551616 > 65535
    quote 18446744073709551616 > 65536
    18446744073709551616 > 65536
    quote 18446744073709551616 > 4294967295
    18446744073709551616 > 4294967295
    quote 18446744073709551616 > 4294967296
    18446744073709551616 > 4294967296
    quote 18446744073709551616 > 18446744073709551615
    18446744073709551616 > 18446744073709551615
    quote 18446744073709551616 > 18446744073709551616
    18446744073709551616 > 18446744073709551616
    quote 18446744073709551616 > 340282366920938463463374607431768211455
    18446744073709551616 > 340282366920938463463374607431768211455
    quote 18446744073709551616 > 340282366920938463463374607431768211456
    18446744073709551616 > 340282366920938463463374607431768211456
    quote 340282366920938463463374607431768211455 > -170141183460469231731687303715884105728
    340282366920938463463374607431768211455 > -170141183460469231731687303715884105728
    quote 340282366920938463463374607431768211455 > -170141183460469231731687303715884105727
    340282366920938463463374607431768211455 > -170141183460469231731687303715884105727
    quote 340282366920938463463374607431768211455 > -9223372036854775808
    340282366920938463463374607431768211455 > -9223372036854775808
    quote 340282366920938463463374607431768211455 > -9223372036854775807
    340282366920938463463374607431768211455 > -9223372036854775807
    quote 340282366920938463463374607431768211455 > -2147483648
    340282366920938463463374607431768211455 > -2147483648
    quote 340282366920938463463374607431768211455 > -2147483647
    340282366920938463463374607431768211455 > -2147483647
    quote 340282366920938463463374607431768211455 > -32768
    340282366920938463463374607431768211455 > -32768
    quote 340282366920938463463374607431768211455 > -32767
    340282366920938463463374607431768211455 > -32767
    quote 340282366920938463463374607431768211455 > -128
    340282366920938463463374607431768211455 > -128
    quote 340282366920938463463374607431768211455 > -127
    340282366920938463463374607431768211455 > -127
    quote 340282366920938463463374607431768211455 > 255
    340282366920938463463374607431768211455 > 255
    quote 340282366920938463463374607431768211455 > 256
    340282366920938463463374607431768211455 > 256
    quote 340282366920938463463374607431768211455 > 65535
    340282366920938463463374607431768211455 > 65535
    quote 340282366920938463463374607431768211455 > 65536
    340282366920938463463374607431768211455 > 65536
    quote 340282366920938463463374607431768211455 > 4294967295
    340282366920938463463374607431768211455 > 4294967295
    quote 340282366920938463463374607431768211455 > 4294967296
    340282366920938463463374607431768211455 > 4294967296
    quote 340282366920938463463374607431768211455 > 18446744073709551615
    340282366920938463463374607431768211455 > 18446744073709551615
    quote 340282366920938463463374607431768211455 > 18446744073709551616
    340282366920938463463374607431768211455 > 18446744073709551616
    quote 340282366920938463463374607431768211455 > 340282366920938463463374607431768211455
    340282366920938463463374607431768211455 > 340282366920938463463374607431768211455
    quote 340282366920938463463374607431768211455 > 340282366920938463463374607431768211456
    340282366920938463463374607431768211455 > 340282366920938463463374607431768211456
    quote 340282366920938463463374607431768211456 > -170141183460469231731687303715884105728
    340282366920938463463374607431768211456 > -170141183460469231731687303715884105728
    quote 340282366920938463463374607431768211456 > -170141183460469231731687303715884105727
    340282366920938463463374607431768211456 > -170141183460469231731687303715884105727
    quote 340282366920938463463374607431768211456 > -9223372036854775808
    340282366920938463463374607431768211456 > -9223372036854775808
    quote 340282366920938463463374607431768211456 > -9223372036854775807
    340282366920938463463374607431768211456 > -9223372036854775807
    quote 340282366920938463463374607431768211456 > -2147483648
    340282366920938463463374607431768211456 > -2147483648
    quote 340282366920938463463374607431768211456 > -2147483647
    340282366920938463463374607431768211456 > -2147483647
    quote 340282366920938463463374607431768211456 > -32768
    340282366920938463463374607431768211456 > -32768
    quote 340282366920938463463374607431768211456 > -32767
    340282366920938463463374607431768211456 > -32767
    quote 340282366920938463463374607431768211456 > -128
    340282366920938463463374607431768211456 > -128
    quote 340282366920938463463374607431768211456 > -127
    340282366920938463463374607431768211456 > -127
    quote 340282366920938463463374607431768211456 > 255
    340282366920938463463374607431768211456 > 255
    quote 340282366920938463463374607431768211456 > 256
    340282366920938463463374607431768211456 > 256
    quote 340282366920938463463374607431768211456 > 65535
    340282366920938463463374607431768211456 > 65535
    quote 340282366920938463463374607431768211456 > 65536
    340282366920938463463374607431768211456 > 65536
    quote 340282366920938463463374607431768211456 > 4294967295
    340282366920938463463374607431768211456 > 4294967295
    quote 340282366920938463463374607431768211456 > 4294967296
    340282366920938463463374607431768211456 > 4294967296
    quote 340282366920938463463374607431768211456 > 18446744073709551615
    340282366920938463463374607431768211456 > 18446744073709551615
    quote 340282366920938463463374607431768211456 > 18446744073709551616
    340282366920938463463374607431768211456 > 18446744073709551616
    quote 340282366920938463463374607431768211456 > 340282366920938463463374607431768211455
    340282366920938463463374607431768211456 > 340282366920938463463374607431768211455
    quote 340282366920938463463374607431768211456 > 340282366920938463463374607431768211456
    340282366920938463463374607431768211456 > 340282366920938463463374607431768211456