* ext/rational/rational.c: Added to provide a fast implementation

  of Fixnum#gcd (and maybe some others in the future) in C.  The
  base code was submitted by Kurt Stephens. [Feature #2561]

* ext/rational/lib/rational.rb: Moved from lib/rational.rb.  Make
  overall code optimization; submitted by Kurt Stephens.
  [Feature #2561]

* test/rational/test_rational.rb, test/rational/test_rational2.rb:
  Add tests for Rational, ported from trunk.

* test/rational/test_fixnum_gcd.rb: Add a test for Integer#gcd.
  Case values are only provided for i386 and amd64 at the moment;
  submitted by Kurt Stephens. [Feature #2561]


git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/branches/ruby_1_8@26581 b2dd03c8-39d4-4d8f-98ff-823fe69b080e

3 files changed, 3403 insertions, 0 deletions

diff --git a/test/rational/test_fixnum_gcd.rb b/test/rational/test_fixnum_gcd.rb
new file mode 100644
index 0000000000..d995295d3e
--- /dev/null
+++ b/test/rational/test_fixnum_gcd.rb
@@ -0,0 +1,811 @@
+require 'rational'
+require 'pp'
+
+require 'test/unit'
+require 'rbconfig'
+
+class GcdTest < Test::Unit::TestCase
+
+  @@biggest_positive_fixnum = 1
+  until (x = ((@@biggest_positive_fixnum << 1) + 1)).class == Bignum
+    @@biggest_positive_fixnum = x
+  end
+  @@biggest_positive_fixnum = (@@biggest_positive_fixnum - 10)
+  until (x = (@@biggest_positive_fixnum + 1)).class == Bignum
+    @@biggest_positive_fixnum = x
+  end
+  @@smallest_positive_bignum = x
+  
+  @@biggest_negative_fixnum = -1
+  until (x = (@@biggest_negative_fixnum << 1)).class == Bignum
+    @@biggest_negative_fixnum = x
+  end
+  until (x = (@@biggest_negative_fixnum - 1)).class == Bignum
+    @@biggest_negative_fixnum = x
+  end
+  @@smallest_negative_bignum = x
+  
+  def xc x
+    [ x.class, x ].inspect
+  end
+
+case RbConfig::CONFIG['build_cpu']
+when 'amd64', 'x86_64'
+  # values generated by ruby 1.8.7 (2009-06-12 patchlevel 174) [x86_64-linux]
+@@expected = 
+[["[Fixnum, 1] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, 4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, -4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Bignum, -4611686018427387905] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Bignum, 4611686018427387905] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Fixnum, 2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 2] gcd [Fixnum, 4] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 2] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Fixnum, -2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 2] gcd [Fixnum, -4] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 2] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Fixnum, 4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Fixnum, -4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 2] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 2] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 2] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 2] gcd [Bignum, -4611686018427387905] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Bignum, 4611686018427387905] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Fixnum, 2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 4] gcd [Fixnum, 4] => ", "[Fixnum, 4]"],
+ ["[Fixnum, 4] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Fixnum, -2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 4] gcd [Fixnum, -4] => ", "[Fixnum, 4]"],
+ ["[Fixnum, 4] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Fixnum, 4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Fixnum, -4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 4]"],
+ ["[Fixnum, 4] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 4]"],
+ ["[Fixnum, 4] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 4]"],
+ ["[Fixnum, 4] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 4]"],
+ ["[Fixnum, 4] gcd [Bignum, -4611686018427387905] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Bignum, 4611686018427387905] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, 5] => ", "[Fixnum, 5]"],
+ ["[Fixnum, 5] gcd [Fixnum, 25] => ", "[Fixnum, 5]"],
+ ["[Fixnum, 5] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, -5] => ", "[Fixnum, 5]"],
+ ["[Fixnum, 5] gcd [Fixnum, -25] => ", "[Fixnum, 5]"],
+ ["[Fixnum, 5] gcd [Fixnum, 4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, -4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Bignum, -4611686018427387905] => ", "[Fixnum, 5]"],
+ ["[Fixnum, 5] gcd [Bignum, 4611686018427387905] => ", "[Fixnum, 5]"],
+ ["[Fixnum, 25] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Fixnum, 5] => ", "[Fixnum, 5]"],
+ ["[Fixnum, 25] gcd [Fixnum, 25] => ", "[Fixnum, 25]"],
+ ["[Fixnum, 25] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Fixnum, -5] => ", "[Fixnum, 5]"],
+ ["[Fixnum, 25] gcd [Fixnum, -25] => ", "[Fixnum, 25]"],
+ ["[Fixnum, 25] gcd [Fixnum, 4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Fixnum, -4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Bignum, -4611686018427387905] => ", "[Fixnum, 5]"],
+ ["[Fixnum, 25] gcd [Bignum, 4611686018427387905] => ", "[Fixnum, 5]"],
+ ["[Fixnum, -1] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, 4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, -4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Bignum, -4611686018427387905] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Bignum, 4611686018427387905] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Fixnum, 2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -2] gcd [Fixnum, 4] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -2] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Fixnum, -2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -2] gcd [Fixnum, -4] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -2] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Fixnum, 4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Fixnum, -4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -2] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -2] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -2] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -2] gcd [Bignum, -4611686018427387905] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Bignum, 4611686018427387905] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Fixnum, 2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -4] gcd [Fixnum, 4] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -4] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Fixnum, -2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -4] gcd [Fixnum, -4] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -4] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Fixnum, 4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Fixnum, -4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -4] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -4] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -4] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -4] gcd [Bignum, -4611686018427387905] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Bignum, 4611686018427387905] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, 5] => ", "[Fixnum, 5]"],
+ ["[Fixnum, -5] gcd [Fixnum, 25] => ", "[Fixnum, 5]"],
+ ["[Fixnum, -5] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, -5] => ", "[Fixnum, 5]"],
+ ["[Fixnum, -5] gcd [Fixnum, -25] => ", "[Fixnum, 5]"],
+ ["[Fixnum, -5] gcd [Fixnum, 4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, -4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Bignum, -4611686018427387905] => ", "[Fixnum, 5]"],
+ ["[Fixnum, -5] gcd [Bignum, 4611686018427387905] => ", "[Fixnum, 5]"],
+ ["[Fixnum, -25] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Fixnum, 5] => ", "[Fixnum, 5]"],
+ ["[Fixnum, -25] gcd [Fixnum, 25] => ", "[Fixnum, 25]"],
+ ["[Fixnum, -25] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Fixnum, -5] => ", "[Fixnum, 5]"],
+ ["[Fixnum, -25] gcd [Fixnum, -25] => ", "[Fixnum, 25]"],
+ ["[Fixnum, -25] gcd [Fixnum, 4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Fixnum, -4611686018427387903] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Bignum, 4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Fixnum, -4611686018427387904] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Bignum, -4611686018427387905] => ", "[Fixnum, 5]"],
+ ["[Fixnum, -25] gcd [Bignum, 4611686018427387905] => ", "[Fixnum, 5]"],
+ ["[Fixnum, 4611686018427387903] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4611686018427387903] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4611686018427387903] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4611686018427387903] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4611686018427387903] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4611686018427387903] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4611686018427387903] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4611686018427387903] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4611686018427387903] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4611686018427387903] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4611686018427387903] gcd [Fixnum, 4611686018427387903] => ",
+  "[Fixnum, 4611686018427387903]"],
+ ["[Fixnum, 4611686018427387903] gcd [Fixnum, -4611686018427387903] => ",
+  "[Fixnum, 4611686018427387903]"],
+ ["[Fixnum, 4611686018427387903] gcd [Fixnum, -4611686018427387904] => ",
+  "[Fixnum, 1]"],
+ ["[Fixnum, 4611686018427387903] gcd [Bignum, 4611686018427387904] => ",
+  "[Fixnum, 1]"],
+ ["[Fixnum, 4611686018427387903] gcd [Bignum, 4611686018427387904] => ",
+  "[Fixnum, 1]"],
+ ["[Fixnum, 4611686018427387903] gcd [Fixnum, -4611686018427387904] => ",
+  "[Fixnum, 1]"],
+ ["[Fixnum, 4611686018427387903] gcd [Bignum, -4611686018427387905] => ",
+  "[Fixnum, 1]"],
+ ["[Fixnum, 4611686018427387903] gcd [Bignum, 4611686018427387905] => ",
+  "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387903] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387903] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387903] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387903] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387903] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387903] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387903] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387903] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387903] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387903] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387903] gcd [Fixnum, 4611686018427387903] => ",
+  "[Fixnum, 4611686018427387903]"],
+ ["[Fixnum, -4611686018427387903] gcd [Fixnum, -4611686018427387903] => ",
+  "[Fixnum, 4611686018427387903]"],
+ ["[Fixnum, -4611686018427387903] gcd [Fixnum, -4611686018427387904] => ",
+  "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387903] gcd [Bignum, 4611686018427387904] => ",
+  "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387903] gcd [Bignum, 4611686018427387904] => ",
+  "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387903] gcd [Fixnum, -4611686018427387904] => ",
+  "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387903] gcd [Bignum, -4611686018427387905] => ",
+  "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387903] gcd [Bignum, 4611686018427387905] => ",
+  "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, 2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, 4] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, -2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, -4] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, 4611686018427387903] => ",
+  "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, -4611686018427387903] => ",
+  "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, -4611686018427387904] => ",
+  "[Bignum, 4611686018427387904]"],
+ ["[Fixnum, -4611686018427387904] gcd [Bignum, 4611686018427387904] => ",
+  "[Bignum, 4611686018427387904]"],
+ ["[Fixnum, -4611686018427387904] gcd [Bignum, 4611686018427387904] => ",
+  "[Bignum, 4611686018427387904]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, -4611686018427387904] => ",
+  "[Bignum, 4611686018427387904]"],
+ ["[Fixnum, -4611686018427387904] gcd [Bignum, -4611686018427387905] => ",
+  "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Bignum, 4611686018427387905] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, 2] => ", "[Fixnum, 2]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, 4] => ", "[Fixnum, 4]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, -2] => ", "[Fixnum, 2]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, -4] => ", "[Fixnum, 4]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, 4611686018427387903] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, -4611686018427387903] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, -4611686018427387904] => ",
+  "[Bignum, 4611686018427387904]"],
+ ["[Bignum, 4611686018427387904] gcd [Bignum, 4611686018427387904] => ",
+  "[Bignum, 4611686018427387904]"],
+ ["[Bignum, 4611686018427387904] gcd [Bignum, 4611686018427387904] => ",
+  "[Bignum, 4611686018427387904]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, -4611686018427387904] => ",
+  "[Bignum, 4611686018427387904]"],
+ ["[Bignum, 4611686018427387904] gcd [Bignum, -4611686018427387905] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Bignum, 4611686018427387905] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, 2] => ", "[Fixnum, 2]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, 4] => ", "[Fixnum, 4]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, -2] => ", "[Fixnum, 2]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, -4] => ", "[Fixnum, 4]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, 4611686018427387903] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, -4611686018427387903] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, -4611686018427387904] => ",
+  "[Bignum, 4611686018427387904]"],
+ ["[Bignum, 4611686018427387904] gcd [Bignum, 4611686018427387904] => ",
+  "[Bignum, 4611686018427387904]"],
+ ["[Bignum, 4611686018427387904] gcd [Bignum, 4611686018427387904] => ",
+  "[Bignum, 4611686018427387904]"],
+ ["[Bignum, 4611686018427387904] gcd [Fixnum, -4611686018427387904] => ",
+  "[Bignum, 4611686018427387904]"],
+ ["[Bignum, 4611686018427387904] gcd [Bignum, -4611686018427387905] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387904] gcd [Bignum, 4611686018427387905] => ",
+  "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, 2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, 4] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, -2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, -4] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, 4611686018427387903] => ",
+  "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, -4611686018427387903] => ",
+  "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, -4611686018427387904] => ",
+  "[Bignum, 4611686018427387904]"],
+ ["[Fixnum, -4611686018427387904] gcd [Bignum, 4611686018427387904] => ",
+  "[Bignum, 4611686018427387904]"],
+ ["[Fixnum, -4611686018427387904] gcd [Bignum, 4611686018427387904] => ",
+  "[Bignum, 4611686018427387904]"],
+ ["[Fixnum, -4611686018427387904] gcd [Fixnum, -4611686018427387904] => ",
+  "[Bignum, 4611686018427387904]"],
+ ["[Fixnum, -4611686018427387904] gcd [Bignum, -4611686018427387905] => ",
+  "[Fixnum, 1]"],
+ ["[Fixnum, -4611686018427387904] gcd [Bignum, 4611686018427387905] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, -4611686018427387905] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Bignum, -4611686018427387905] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Bignum, -4611686018427387905] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Bignum, -4611686018427387905] gcd [Fixnum, 5] => ", "[Fixnum, 5]"],
+ ["[Bignum, -4611686018427387905] gcd [Fixnum, 25] => ", "[Fixnum, 5]"],
+ ["[Bignum, -4611686018427387905] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Bignum, -4611686018427387905] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Bignum, -4611686018427387905] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Bignum, -4611686018427387905] gcd [Fixnum, -5] => ", "[Fixnum, 5]"],
+ ["[Bignum, -4611686018427387905] gcd [Fixnum, -25] => ", "[Fixnum, 5]"],
+ ["[Bignum, -4611686018427387905] gcd [Fixnum, 4611686018427387903] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, -4611686018427387905] gcd [Fixnum, -4611686018427387903] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, -4611686018427387905] gcd [Fixnum, -4611686018427387904] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, -4611686018427387905] gcd [Bignum, 4611686018427387904] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, -4611686018427387905] gcd [Bignum, 4611686018427387904] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, -4611686018427387905] gcd [Fixnum, -4611686018427387904] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, -4611686018427387905] gcd [Bignum, -4611686018427387905] => ",
+  "[Bignum, 4611686018427387905]"],
+ ["[Bignum, -4611686018427387905] gcd [Bignum, 4611686018427387905] => ",
+  "[Bignum, 4611686018427387905]"],
+ ["[Bignum, 4611686018427387905] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387905] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387905] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387905] gcd [Fixnum, 5] => ", "[Fixnum, 5]"],
+ ["[Bignum, 4611686018427387905] gcd [Fixnum, 25] => ", "[Fixnum, 5]"],
+ ["[Bignum, 4611686018427387905] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387905] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387905] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387905] gcd [Fixnum, -5] => ", "[Fixnum, 5]"],
+ ["[Bignum, 4611686018427387905] gcd [Fixnum, -25] => ", "[Fixnum, 5]"],
+ ["[Bignum, 4611686018427387905] gcd [Fixnum, 4611686018427387903] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387905] gcd [Fixnum, -4611686018427387903] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387905] gcd [Fixnum, -4611686018427387904] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387905] gcd [Bignum, 4611686018427387904] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387905] gcd [Bignum, 4611686018427387904] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387905] gcd [Fixnum, -4611686018427387904] => ",
+  "[Fixnum, 1]"],
+ ["[Bignum, 4611686018427387905] gcd [Bignum, -4611686018427387905] => ",
+  "[Bignum, 4611686018427387905]"],
+ ["[Bignum, 4611686018427387905] gcd [Bignum, 4611686018427387905] => ",
+  "[Bignum, 4611686018427387905]"]]
+when 'i686', 'i386'
+  # values generated by ruby 1.8.7 (2009-06-12 patchlevel 174) [i486-linux]
+@@expected = 
+[["[Fixnum, 1] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, 1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, -1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Bignum, -1073741825] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1] gcd [Bignum, 1073741825] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Fixnum, 2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 2] gcd [Fixnum, 4] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 2] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Fixnum, -2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 2] gcd [Fixnum, -4] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 2] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Fixnum, 1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Fixnum, -1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Fixnum, -1073741824] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 2] gcd [Bignum, 1073741824] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 2] gcd [Bignum, 1073741824] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 2] gcd [Fixnum, -1073741824] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 2] gcd [Bignum, -1073741825] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 2] gcd [Bignum, 1073741825] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Fixnum, 2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 4] gcd [Fixnum, 4] => ", "[Fixnum, 4]"],
+ ["[Fixnum, 4] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Fixnum, -2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, 4] gcd [Fixnum, -4] => ", "[Fixnum, 4]"],
+ ["[Fixnum, 4] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Fixnum, 1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Fixnum, -1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Fixnum, -1073741824] => ", "[Fixnum, 4]"],
+ ["[Fixnum, 4] gcd [Bignum, 1073741824] => ", "[Fixnum, 4]"],
+ ["[Fixnum, 4] gcd [Bignum, 1073741824] => ", "[Fixnum, 4]"],
+ ["[Fixnum, 4] gcd [Fixnum, -1073741824] => ", "[Fixnum, 4]"],
+ ["[Fixnum, 4] gcd [Bignum, -1073741825] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 4] gcd [Bignum, 1073741825] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, 5] => ", "[Fixnum, 5]"],
+ ["[Fixnum, 5] gcd [Fixnum, 25] => ", "[Fixnum, 5]"],
+ ["[Fixnum, 5] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, -5] => ", "[Fixnum, 5]"],
+ ["[Fixnum, 5] gcd [Fixnum, -25] => ", "[Fixnum, 5]"],
+ ["[Fixnum, 5] gcd [Fixnum, 1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, -1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 5] gcd [Bignum, -1073741825] => ", "[Fixnum, 5]"],
+ ["[Fixnum, 5] gcd [Bignum, 1073741825] => ", "[Fixnum, 5]"],
+ ["[Fixnum, 25] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Fixnum, 5] => ", "[Fixnum, 5]"],
+ ["[Fixnum, 25] gcd [Fixnum, 25] => ", "[Fixnum, 25]"],
+ ["[Fixnum, 25] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Fixnum, -5] => ", "[Fixnum, 5]"],
+ ["[Fixnum, 25] gcd [Fixnum, -25] => ", "[Fixnum, 25]"],
+ ["[Fixnum, 25] gcd [Fixnum, 1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Fixnum, -1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 25] gcd [Bignum, -1073741825] => ", "[Fixnum, 25]"],
+ ["[Fixnum, 25] gcd [Bignum, 1073741825] => ", "[Fixnum, 25]"],
+ ["[Fixnum, -1] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, 1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, -1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Bignum, -1073741825] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1] gcd [Bignum, 1073741825] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Fixnum, 2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -2] gcd [Fixnum, 4] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -2] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Fixnum, -2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -2] gcd [Fixnum, -4] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -2] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Fixnum, 1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Fixnum, -1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Fixnum, -1073741824] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -2] gcd [Bignum, 1073741824] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -2] gcd [Bignum, 1073741824] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -2] gcd [Fixnum, -1073741824] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -2] gcd [Bignum, -1073741825] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -2] gcd [Bignum, 1073741825] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Fixnum, 2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -4] gcd [Fixnum, 4] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -4] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Fixnum, -2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -4] gcd [Fixnum, -4] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -4] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Fixnum, 1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Fixnum, -1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Fixnum, -1073741824] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -4] gcd [Bignum, 1073741824] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -4] gcd [Bignum, 1073741824] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -4] gcd [Fixnum, -1073741824] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -4] gcd [Bignum, -1073741825] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -4] gcd [Bignum, 1073741825] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, 5] => ", "[Fixnum, 5]"],
+ ["[Fixnum, -5] gcd [Fixnum, 25] => ", "[Fixnum, 5]"],
+ ["[Fixnum, -5] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, -5] => ", "[Fixnum, 5]"],
+ ["[Fixnum, -5] gcd [Fixnum, -25] => ", "[Fixnum, 5]"],
+ ["[Fixnum, -5] gcd [Fixnum, 1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, -1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -5] gcd [Bignum, -1073741825] => ", "[Fixnum, 5]"],
+ ["[Fixnum, -5] gcd [Bignum, 1073741825] => ", "[Fixnum, 5]"],
+ ["[Fixnum, -25] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Fixnum, 5] => ", "[Fixnum, 5]"],
+ ["[Fixnum, -25] gcd [Fixnum, 25] => ", "[Fixnum, 25]"],
+ ["[Fixnum, -25] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Fixnum, -5] => ", "[Fixnum, 5]"],
+ ["[Fixnum, -25] gcd [Fixnum, -25] => ", "[Fixnum, 25]"],
+ ["[Fixnum, -25] gcd [Fixnum, 1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Fixnum, -1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -25] gcd [Bignum, -1073741825] => ", "[Fixnum, 25]"],
+ ["[Fixnum, -25] gcd [Bignum, 1073741825] => ", "[Fixnum, 25]"],
+ ["[Fixnum, 1073741823] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1073741823] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1073741823] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1073741823] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1073741823] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1073741823] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1073741823] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1073741823] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1073741823] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1073741823] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1073741823] gcd [Fixnum, 1073741823] => ", "[Fixnum, 1073741823]"],
+ ["[Fixnum, 1073741823] gcd [Fixnum, -1073741823] => ",
+  "[Fixnum, 1073741823]"],
+ ["[Fixnum, 1073741823] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1073741823] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1073741823] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1073741823] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1073741823] gcd [Bignum, -1073741825] => ", "[Fixnum, 1]"],
+ ["[Fixnum, 1073741823] gcd [Bignum, 1073741825] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741823] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741823] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741823] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741823] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741823] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741823] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741823] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741823] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741823] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741823] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741823] gcd [Fixnum, 1073741823] => ",
+  "[Fixnum, 1073741823]"],
+ ["[Fixnum, -1073741823] gcd [Fixnum, -1073741823] => ",
+  "[Fixnum, 1073741823]"],
+ ["[Fixnum, -1073741823] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741823] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741823] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741823] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741823] gcd [Bignum, -1073741825] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741823] gcd [Bignum, 1073741825] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, 2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, 4] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, -2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, -4] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, 1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, -1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, -1073741824] => ",
+  "[Bignum, 1073741824]"],
+ ["[Fixnum, -1073741824] gcd [Bignum, 1073741824] => ",
+  "[Bignum, 1073741824]"],
+ ["[Fixnum, -1073741824] gcd [Bignum, 1073741824] => ",
+  "[Bignum, 1073741824]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, -1073741824] => ",
+  "[Bignum, 1073741824]"],
+ ["[Fixnum, -1073741824] gcd [Bignum, -1073741825] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Bignum, 1073741825] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, 2] => ", "[Fixnum, 2]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, 4] => ", "[Fixnum, 4]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, -2] => ", "[Fixnum, 2]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, -4] => ", "[Fixnum, 4]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, 1073741823] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, -1073741823] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, -1073741824] => ",
+  "[Bignum, 1073741824]"],
+ ["[Bignum, 1073741824] gcd [Bignum, 1073741824] => ", "[Bignum, 1073741824]"],
+ ["[Bignum, 1073741824] gcd [Bignum, 1073741824] => ", "[Bignum, 1073741824]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, -1073741824] => ",
+  "[Bignum, 1073741824]"],
+ ["[Bignum, 1073741824] gcd [Bignum, -1073741825] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Bignum, 1073741825] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, 2] => ", "[Fixnum, 2]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, 4] => ", "[Fixnum, 4]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, -2] => ", "[Fixnum, 2]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, -4] => ", "[Fixnum, 4]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, 1073741823] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, -1073741823] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, -1073741824] => ",
+  "[Bignum, 1073741824]"],
+ ["[Bignum, 1073741824] gcd [Bignum, 1073741824] => ", "[Bignum, 1073741824]"],
+ ["[Bignum, 1073741824] gcd [Bignum, 1073741824] => ", "[Bignum, 1073741824]"],
+ ["[Bignum, 1073741824] gcd [Fixnum, -1073741824] => ",
+  "[Bignum, 1073741824]"],
+ ["[Bignum, 1073741824] gcd [Bignum, -1073741825] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741824] gcd [Bignum, 1073741825] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, 2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, 4] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, 5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, 25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, -2] => ", "[Fixnum, 2]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, -4] => ", "[Fixnum, 4]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, -5] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, -25] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, 1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, -1073741823] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, -1073741824] => ",
+  "[Bignum, 1073741824]"],
+ ["[Fixnum, -1073741824] gcd [Bignum, 1073741824] => ",
+  "[Bignum, 1073741824]"],
+ ["[Fixnum, -1073741824] gcd [Bignum, 1073741824] => ",
+  "[Bignum, 1073741824]"],
+ ["[Fixnum, -1073741824] gcd [Fixnum, -1073741824] => ",
+  "[Bignum, 1073741824]"],
+ ["[Fixnum, -1073741824] gcd [Bignum, -1073741825] => ", "[Fixnum, 1]"],
+ ["[Fixnum, -1073741824] gcd [Bignum, 1073741825] => ", "[Fixnum, 1]"],
+ ["[Bignum, -1073741825] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Bignum, -1073741825] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Bignum, -1073741825] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Bignum, -1073741825] gcd [Fixnum, 5] => ", "[Fixnum, 5]"],
+ ["[Bignum, -1073741825] gcd [Fixnum, 25] => ", "[Fixnum, 25]"],
+ ["[Bignum, -1073741825] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Bignum, -1073741825] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Bignum, -1073741825] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Bignum, -1073741825] gcd [Fixnum, -5] => ", "[Fixnum, 5]"],
+ ["[Bignum, -1073741825] gcd [Fixnum, -25] => ", "[Fixnum, 25]"],
+ ["[Bignum, -1073741825] gcd [Fixnum, 1073741823] => ", "[Fixnum, 1]"],
+ ["[Bignum, -1073741825] gcd [Fixnum, -1073741823] => ", "[Fixnum, 1]"],
+ ["[Bignum, -1073741825] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Bignum, -1073741825] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Bignum, -1073741825] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Bignum, -1073741825] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Bignum, -1073741825] gcd [Bignum, -1073741825] => ",
+  "[Bignum, 1073741825]"],
+ ["[Bignum, -1073741825] gcd [Bignum, 1073741825] => ",
+  "[Bignum, 1073741825]"],
+ ["[Bignum, 1073741825] gcd [Fixnum, 1] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741825] gcd [Fixnum, 2] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741825] gcd [Fixnum, 4] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741825] gcd [Fixnum, 5] => ", "[Fixnum, 5]"],
+ ["[Bignum, 1073741825] gcd [Fixnum, 25] => ", "[Fixnum, 25]"],
+ ["[Bignum, 1073741825] gcd [Fixnum, -1] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741825] gcd [Fixnum, -2] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741825] gcd [Fixnum, -4] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741825] gcd [Fixnum, -5] => ", "[Fixnum, 5]"],
+ ["[Bignum, 1073741825] gcd [Fixnum, -25] => ", "[Fixnum, 25]"],
+ ["[Bignum, 1073741825] gcd [Fixnum, 1073741823] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741825] gcd [Fixnum, -1073741823] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741825] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741825] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741825] gcd [Bignum, 1073741824] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741825] gcd [Fixnum, -1073741824] => ", "[Fixnum, 1]"],
+ ["[Bignum, 1073741825] gcd [Bignum, -1073741825] => ",
+  "[Bignum, 1073741825]"],
+ ["[Bignum, 1073741825] gcd [Bignum, 1073741825] => ", "[Bignum, 1073741825]"]]
+else
+  pp RbConfig::CONFIG
+  @@expected = nil
+end
+
+  def test_results
+    values = 
+      [
+       1, 2, 4, 5, 25,
+       -1, -2, -4, -5, -25,
+       @@biggest_positive_fixnum, - @@biggest_positive_fixnum,
+       @@biggest_negative_fixnum, - @@biggest_negative_fixnum,
+       @@smallest_positive_bignum, - @@smallest_positive_bignum,
+       @@smallest_negative_bignum, - @@smallest_negative_bignum,
+      ]
+
+    result = [ ]
+    values.each do | x |
+      values.each do | y |
+        result <<
+          [ "#{xc(x)} gcd #{xc(y)} => ", 
+            begin
+              xc(x.gcd(y))
+            rescue => err
+              err
+            end
+          ]
+      end
+    end
+    
+    if @@expected 
+      if result != @@expected
+        @@expected.each_with_index do | x, i |
+          y = result[i]
+          assert_equal x, y
+        end
+      end
+    else
+      puts "@@expected = "
+      pp result
+    end
+  end
+end
diff --git a/test/rational/test_rational.rb b/test/rational/test_rational.rb
new file mode 100644
index 0000000000..ac4319d773
--- /dev/null
+++ b/test/rational/test_rational.rb
@@ -0,0 +1,1205 @@
+require 'test/unit'
+require 'rational'
+
+class RationalSub < Rational; end
+
+class Rational_Test < Test::Unit::TestCase
+
+  def setup
+    @complex = defined?(Complex)
+    if @complex
+      @keiju = Complex.instance_variables.include?(:@RCS_ID)
+    end
+    seps = [File::SEPARATOR, File::ALT_SEPARATOR].compact.map{|x| Regexp.escape(x)}.join("|")
+    @unify = $".grep(/(?:^|#{seps})mathn(?:\.(?:rb|so))?/).size != 0
+  end
+
+  ## [1.8] Rational#convert is missing
+=begin
+  def test_ratsub
+    c = RationalSub.__send__(:convert, 1)
+
+    assert_kind_of(Numeric, c)
+
+    if @unify
+      assert_instance_of(Fixnum, c)
+    else
+      assert_instance_of(RationalSub, c)
+
+      c2 = c + 1
+      assert_instance_of(RationalSub, c2)
+      c2 = c - 1
+      assert_instance_of(RationalSub, c2)
+
+      c3 = c - c2
+      assert_instance_of(RationalSub, c3)
+
+      s = Marshal.dump(c)
+      c5 = Marshal.load(s)
+      assert_equal(c, c5)
+      assert_instance_of(RationalSub, c5)
+    end
+
+    c1 = Rational(1)
+    assert_equal(c1.hash, c.hash, '[ruby-dev:38850]')
+    assert_equal([true, true], [c.eql?(c1), c1.eql?(c)])
+  end
+=end
+
+  def test_eql_p
+    c = Rational(0)
+    c2 = Rational(0)
+    c3 = Rational(1)
+
+    assert_equal(true, c.eql?(c2))
+    assert_equal(false, c.eql?(c3))
+
+    if @unify
+      assert_equal(true, c.eql?(0))
+    else
+      assert_equal(false, c.eql?(0))
+    end
+  end
+
+  def test_hash
+    assert_instance_of(Fixnum, Rational(1,2).hash)
+
+    h = {}
+    h[Rational(0)] = 0
+    h[Rational(1,1)] = 1
+    h[Rational(2,1)] = 2
+    h[Rational(3,1)] = 3
+
+    assert_equal(4, h.size)
+    assert_equal(2, h[Rational(2,1)])
+
+    h[Rational(0,1)] = 9
+    assert_equal(4, h.size)
+  end
+
+  def test_freeze
+    c = Rational(1)
+    c.freeze
+    unless @unify
+      assert_equal(true, c.frozen?)
+    end
+    assert_instance_of(String, c.to_s)
+  end
+
+  def test_conv
+    c = Rational(0,1)
+    assert_equal(Rational(0,1), c)
+
+    c = Rational(2**32, 2**32)
+    assert_equal(Rational(2**32,2**32), c)
+    assert_equal([1,1], [c.numerator,c.denominator])
+
+    c = Rational(-2**32, 2**32)
+    assert_equal(Rational(-2**32,2**32), c)
+    assert_equal([-1,1], [c.numerator,c.denominator])
+
+    c = Rational(2**32, -2**32)
+    assert_equal(Rational(2**32,-2**32), c)
+    assert_equal([-1,1], [c.numerator,c.denominator])
+
+    c = Rational(-2**32, -2**32)
+    assert_equal(Rational(-2**32,-2**32), c)
+    assert_equal([1,1], [c.numerator,c.denominator])
+
+    ## [1.8] Rational() blindly expects arguments to be integers
+=begin
+    c = Rational(Rational(1,2),2)
+    assert_equal(Rational(1,4), c)
+
+    c = Rational(2,Rational(1,2))
+    assert_equal(Rational(4), c)
+
+    c = Rational(Rational(1,2),Rational(1,2))
+    assert_equal(Rational(1), c)
+=end
+
+    if @complex && !@keiju
+      c = Rational(Complex(1,2),2)
+      assert_equal(Complex(Rational(1,2),1), c)
+
+      c = Rational(2,Complex(1,2))
+      assert_equal(Complex(Rational(2,5),Rational(-4,5)), c)
+
+      c = Rational(Complex(1,2),Complex(1,2))
+      assert_equal(Rational(1), c)
+    end
+
+    assert_equal(Rational(3),Rational(3))
+    assert_equal(Rational(1),Rational(3,3))
+    ## [1.8] Float#to_r is missing
+=begin
+    assert_equal(3.3.to_r,Rational(3.3))
+=end
+    ## [1.8] Rational() blindly expects arguments to be integers
+=begin
+    assert_equal(1,Rational(3.3,3.3))
+    assert_equal(Rational(3),Rational('3'))
+    assert_equal(Rational(1),Rational('3.0','3.0'))
+    assert_equal(Rational(1),Rational('3/3','3/3'))
+    assert_raise(TypeError){Rational(nil)}
+    assert_raise(ArgumentError){Rational('')}
+    assert_raise(TypeError){Rational(Object.new)}
+=end
+    assert_raise(ArgumentError){Rational()}
+    assert_raise(ArgumentError){Rational(1,2,3)}
+
+    ## [1.8] Rational() blindly expects arguments to be integers
+=begin
+    if (0.0/0).nan?
+      assert_raise(FloatDomainError){Rational(0.0/0)}
+    end
+    if (1.0/0).infinite?
+      assert_raise(FloatDomainError){Rational(1.0/0)}
+    end
+=end
+  end
+
+  def test_attr
+    c = Rational(4)
+
+    assert_equal(4, c.numerator)
+    assert_equal(1, c.denominator)
+
+    c = Rational(4,5)
+
+    assert_equal(4, c.numerator)
+    assert_equal(5, c.denominator)
+
+    c = Rational(4)
+
+    assert_equal(4, c.numerator)
+    assert_equal(1, c.denominator)
+
+    c = Rational(4,5)
+
+    assert_equal(4, c.numerator)
+    assert_equal(5, c.denominator)
+
+    c = Rational(4)
+
+    assert_equal(4, c.numerator)
+    assert_equal(1, c.denominator)
+
+    c = Rational(4,5)
+
+    assert_equal(4, c.numerator)
+    assert_equal(5, c.denominator)
+  end
+
+  def test_attr2
+    c = Rational(1)
+
+    if @unify
+=begin
+      assert_equal(true, c.finite?)
+      assert_equal(false, c.infinite?)
+      assert_equal(false, c.nan?)
+      assert_equal(true, c.integer?)
+      assert_equal(false, c.float?)
+      assert_equal(true, c.rational?)
+=end
+      ## [1.8] Numeric#real? is missing
+=begin
+      assert_equal(true, c.real?)
+=end
+=begin
+      assert_equal(false, c.complex?)
+      assert_equal(true, c.exact?)
+      assert_equal(false, c.inexact?)
+=end
+    else
+=begin
+      assert_equal(true, c.finite?)
+      assert_equal(false, c.infinite?)
+      assert_equal(false, c.nan?)
+      assert_equal(false, c.integer?)
+      assert_equal(false, c.float?)
+      assert_equal(true, c.rational?)
+=end
+      ## [1.8] Numeric#real? is missing
+=begin
+      assert_equal(true, c.real?)
+=end
+=begin
+      assert_equal(false, c.complex?)
+      assert_equal(true, c.exact?)
+      assert_equal(false, c.inexact?)
+=end
+    end
+
+=begin
+    assert_equal(true, Rational(0).positive?)
+    assert_equal(true, Rational(1).positive?)
+    assert_equal(false, Rational(-1).positive?)
+    assert_equal(false, Rational(0).negative?)
+    assert_equal(false, Rational(1).negative?)
+    assert_equal(true, Rational(-1).negative?)
+
+    assert_equal(0, Rational(0).sign)
+    assert_equal(1, Rational(2).sign)
+    assert_equal(-1, Rational(-2).sign)
+=end
+
+    assert_equal(true, Rational(0).zero?)
+    assert_equal(true, Rational(0,1).zero?)
+    assert_equal(false, Rational(1,1).zero?)
+
+    assert_equal(nil, Rational(0).nonzero?)
+    assert_equal(nil, Rational(0,1).nonzero?)
+    assert_equal(Rational(1,1), Rational(1,1).nonzero?)
+  end
+
+  def test_uplus
+    assert_equal(Rational(1), +Rational(1))
+    assert_equal(Rational(-1), +Rational(-1))
+    assert_equal(Rational(1,1), +Rational(1,1))
+    assert_equal(Rational(-1,1), +Rational(-1,1))
+    assert_equal(Rational(-1,1), +Rational(1,-1))
+    assert_equal(Rational(1,1), +Rational(-1,-1))
+  end
+
+  def test_negate
+    assert_equal(Rational(-1), -Rational(1))
+    assert_equal(Rational(1), -Rational(-1))
+    assert_equal(Rational(-1,1), -Rational(1,1))
+    assert_equal(Rational(1,1), -Rational(-1,1))
+    assert_equal(Rational(1,1), -Rational(1,-1))
+    assert_equal(Rational(-1,1), -Rational(-1,-1))
+
+=begin
+    assert_equal(0, Rational(0).negate)
+    assert_equal(-2, Rational(2).negate)
+    assert_equal(2, Rational(-2).negate)
+=end
+  end
+
+  def test_add
+    c = Rational(1,2)
+    c2 = Rational(2,3)
+
+    assert_equal(Rational(7,6), c + c2)
+
+    assert_equal(Rational(5,2), c + 2)
+    assert_equal(2.5, c + 2.0)
+  end
+
+  def test_sub
+    c = Rational(1,2)
+    c2 = Rational(2,3)
+
+    assert_equal(Rational(-1,6), c - c2)
+
+    assert_equal(Rational(-3,2), c - 2)
+    assert_equal(-1.5, c - 2.0)
+  end
+
+  def test_mul
+    c = Rational(1,2)
+    c2 = Rational(2,3)
+
+    assert_equal(Rational(1,3), c * c2)
+
+    assert_equal(Rational(1,1), c * 2)
+    assert_equal(1.0, c * 2.0)
+  end
+
+  def test_div
+    c = Rational(1,2)
+    c2 = Rational(2,3)
+
+    assert_equal(Rational(3,4), c / c2)
+
+    assert_equal(Rational(1,4), c / 2)
+    assert_equal(0.25, c / 2.0)
+
+    assert_raise(ZeroDivisionError){Rational(1, 3) / 0}
+    assert_raise(ZeroDivisionError){Rational(1, 3) / Rational(0)}
+  end
+
+  def assert_eql(exp, act, *args)
+    unless Array === exp
+      exp = [exp]
+    end
+    unless Array === act
+      act = [act]
+    end
+    exp.zip(act).each do |e, a|
+      na = [e, a] + args
+      assert_equal(*na)
+      na = [e.class, a] + args
+      assert_instance_of(*na)
+    end
+  end
+
+  def test_idiv
+    c = Rational(1,2)
+    c2 = Rational(2,3)
+
+    assert_eql(0, c.div(c2))
+    assert_eql(0, c.div(2))
+    assert_eql(0, c.div(2.0))
+
+    c = Rational(301,100)
+    c2 = Rational(7,5)
+
+    assert_equal(2, c.div(c2))
+    assert_equal(-3, c.div(-c2))
+    assert_equal(-3, (-c).div(c2))
+    assert_equal(2, (-c).div(-c2))
+
+    c = Rational(301,100)
+    c2 = Rational(2)
+
+    assert_equal(1, c.div(c2))
+    assert_equal(-2, c.div(-c2))
+    assert_equal(-2, (-c).div(c2))
+    assert_equal(1, (-c).div(-c2))
+
+    unless @unify
+      c = Rational(11)
+      c2 = Rational(3)
+
+      assert_equal(3, c.div(c2))
+      assert_equal(-4, c.div(-c2))
+      assert_equal(-4, (-c).div(c2))
+      assert_equal(3, (-c).div(-c2))
+    end
+  end
+
+  def test_modulo
+    c = Rational(1,2)
+    c2 = Rational(2,3)
+
+    assert_eql(Rational(1,2), c.modulo(c2))
+    assert_eql(Rational(1,2), c.modulo(2))
+    assert_eql(0.5, c.modulo(2.0))
+
+    c = Rational(301,100)
+    c2 = Rational(7,5)
+
+    assert_equal(Rational(21,100), c.modulo(c2))
+    assert_equal(Rational(-119,100), c.modulo(-c2))
+    assert_equal(Rational(119,100), (-c).modulo(c2))
+    assert_equal(Rational(-21,100), (-c).modulo(-c2))
+
+    c = Rational(301,100)
+    c2 = Rational(2)
+
+    assert_equal(Rational(101,100), c.modulo(c2))
+    assert_equal(Rational(-99,100), c.modulo(-c2))
+    assert_equal(Rational(99,100), (-c).modulo(c2))
+    assert_equal(Rational(-101,100), (-c).modulo(-c2))
+
+    unless @unify
+      c = Rational(11)
+      c2 = Rational(3)
+
+      assert_equal(2, c.modulo(c2))
+      assert_equal(-1, c.modulo(-c2))
+      assert_equal(1, (-c).modulo(c2))
+      assert_equal(-2, (-c).modulo(-c2))
+    end
+  end
+
+  def test_divmod
+    c = Rational(1,2)
+    c2 = Rational(2,3)
+
+    assert_eql([0, Rational(1,2)], c.divmod(c2))
+    assert_eql([0, Rational(1,2)], c.divmod(2))
+    assert_eql([0, 0.5], c.divmod(2.0))
+
+    c = Rational(301,100)
+    c2 = Rational(7,5)
+
+    assert_equal([2, Rational(21,100)], c.divmod(c2))
+    assert_equal([-3, Rational(-119,100)], c.divmod(-c2))
+    assert_equal([-3, Rational(119,100)], (-c).divmod(c2))
+    assert_equal([2, Rational(-21,100)], (-c).divmod(-c2))
+
+    c = Rational(301,100)
+    c2 = Rational(2)
+
+    assert_equal([1, Rational(101,100)], c.divmod(c2))
+    assert_equal([-2, Rational(-99,100)], c.divmod(-c2))
+    assert_equal([-2, Rational(99,100)], (-c).divmod(c2))
+    assert_equal([1, Rational(-101,100)], (-c).divmod(-c2))
+
+    unless @unify
+      c = Rational(11)
+      c2 = Rational(3)
+
+      assert_equal([3,2], c.divmod(c2))
+      assert_equal([-4,-1], c.divmod(-c2))
+      assert_equal([-4,1], (-c).divmod(c2))
+      assert_equal([3,-2], (-c).divmod(-c2))
+    end
+  end
+
+=begin
+  def test_quot
+    c = Rational(1,2)
+    c2 = Rational(2,3)
+
+    assert_eql(0, c.quot(c2))
+    assert_eql(0, c.quot(2))
+    assert_eql(0, c.quot(2.0))
+
+    c = Rational(301,100)
+    c2 = Rational(7,5)
+
+    assert_equal(2, c.quot(c2))
+    assert_equal(-2, c.quot(-c2))
+    assert_equal(-2, (-c).quot(c2))
+    assert_equal(2, (-c).quot(-c2))
+
+    c = Rational(301,100)
+    c2 = Rational(2)
+
+    assert_equal(1, c.quot(c2))
+    assert_equal(-1, c.quot(-c2))
+    assert_equal(-1, (-c).quot(c2))
+    assert_equal(1, (-c).quot(-c2))
+
+    unless @unify
+      c = Rational(11)
+      c2 = Rational(3)
+
+      assert_equal(3, c.quot(c2))
+      assert_equal(-3, c.quot(-c2))
+      assert_equal(-3, (-c).quot(c2))
+      assert_equal(3, (-c).quot(-c2))
+    end
+  end
+=end
+
+  def test_remainder
+    c = Rational(1,2)
+    c2 = Rational(2,3)
+
+    assert_eql(Rational(1,2), c.remainder(c2))
+    assert_eql(Rational(1,2), c.remainder(2))
+    assert_eql(0.5, c.remainder(2.0))
+
+    c = Rational(301,100)
+    c2 = Rational(7,5)
+
+    assert_equal(Rational(21,100), c.remainder(c2))
+    assert_equal(Rational(21,100), c.remainder(-c2))
+    assert_equal(Rational(-21,100), (-c).remainder(c2))
+    assert_equal(Rational(-21,100), (-c).remainder(-c2))
+
+    c = Rational(301,100)
+    c2 = Rational(2)
+
+    assert_equal(Rational(101,100), c.remainder(c2))
+    assert_equal(Rational(101,100), c.remainder(-c2))
+    assert_equal(Rational(-101,100), (-c).remainder(c2))
+    assert_equal(Rational(-101,100), (-c).remainder(-c2))
+
+    unless @unify
+      c = Rational(11)
+      c2 = Rational(3)
+
+      assert_equal(2, c.remainder(c2))
+      assert_equal(2, c.remainder(-c2))
+      assert_equal(-2, (-c).remainder(c2))
+      assert_equal(-2, (-c).remainder(-c2))
+    end
+  end
+
+=begin
+  def test_quotrem
+    c = Rational(1,2)
+    c2 = Rational(2,3)
+
+    assert_eql([0, Rational(1,2)], c.quotrem(c2))
+    assert_eql([0, Rational(1,2)], c.quotrem(2))
+    assert_eql([0, 0.5], c.quotrem(2.0))
+
+    c = Rational(301,100)
+    c2 = Rational(7,5)
+
+    assert_equal([2, Rational(21,100)], c.quotrem(c2))
+    assert_equal([-2, Rational(21,100)], c.quotrem(-c2))
+    assert_equal([-2, Rational(-21,100)], (-c).quotrem(c2))
+    assert_equal([2, Rational(-21,100)], (-c).quotrem(-c2))
+
+    c = Rational(301,100)
+    c2 = Rational(2)
+
+    assert_equal([1, Rational(101,100)], c.quotrem(c2))
+    assert_equal([-1, Rational(101,100)], c.quotrem(-c2))
+    assert_equal([-1, Rational(-101,100)], (-c).quotrem(c2))
+    assert_equal([1, Rational(-101,100)], (-c).quotrem(-c2))
+
+    unless @unify
+      c = Rational(11)
+      c2 = Rational(3)
+
+      assert_equal([3,2], c.quotrem(c2))
+      assert_equal([-3,2], c.quotrem(-c2))
+      assert_equal([-3,-2], (-c).quotrem(c2))
+      assert_equal([3,-2], (-c).quotrem(-c2))
+    end
+  end
+=end
+
+  def test_quo
+    c = Rational(1,2)
+    c2 = Rational(2,3)
+
+    assert_equal(Rational(3,4), c.quo(c2))
+
+    assert_equal(Rational(1,4), c.quo(2))
+    assert_equal(0.25, c.quo(2.0))
+  end
+
+  def test_fdiv
+    c = Rational(1,2)
+    c2 = Rational(2,3)
+
+    assert_equal(0.75, c.fdiv(c2))
+
+    assert_equal(0.25, c.fdiv(2))
+    assert_equal(0.25, c.fdiv(2.0))
+  end
+
+  def test_expt
+    c = Rational(1,2)
+    c2 = Rational(2,3)
+
+    r = c ** c2
+    assert_in_delta(0.6299, r, 0.001)
+
+    assert_equal(Rational(1,4), c ** 2)
+    assert_equal(Rational(4), c ** -2)
+    assert_equal(Rational(1,4), (-c) ** 2)
+    assert_equal(Rational(4), (-c) ** -2)
+
+    assert_equal(0.25, c ** 2.0)
+    assert_equal(4.0, c ** -2.0)
+
+    assert_equal(Rational(1,4), c ** Rational(2))
+    assert_equal(Rational(4), c ** Rational(-2))
+
+    assert_equal(Rational(1), 0 ** Rational(0))
+    assert_equal(Rational(1), Rational(0) ** 0)
+    assert_equal(Rational(1), Rational(0) ** Rational(0))
+
+    # p ** p
+    x = 2 ** Rational(2)
+    ## [1.8] Fixnum#coerce tries to convert the other operand to Float.
+=begin
+    assert_equal(Rational(4), x)
+    unless @unify
+      assert_instance_of(Rational, x)
+    end
+    assert_equal(4, x.numerator)
+    assert_equal(1, x.denominator)
+=end
+    assert_equal(4.0, x)
+    unless @unify
+      assert_instance_of(Float, x)
+    end
+
+    x = Rational(2) ** 2
+    assert_equal(Rational(4), x)
+    unless @unify
+      assert_instance_of(Rational, x)
+    end
+    assert_equal(4, x.numerator)
+    assert_equal(1, x.denominator)
+
+    x = Rational(2) ** Rational(2)
+    ## [1.8] Rational#** calculates Rational**Rational in Float.
+=begin
+    assert_equal(Rational(4), x)
+    unless @unify
+      assert_instance_of(Rational, x)
+    end
+    assert_equal(4, x.numerator)
+    assert_equal(1, x.denominator)
+=end
+    assert_equal(4.0, x)
+    unless @unify
+      assert_instance_of(Float, x)
+    end
+
+    # -p ** p
+    x = (-2) ** Rational(2)
+    ## [1.8] Fixnum#coerce tries to convert the other operand to Float.
+=begin
+    assert_equal(Rational(4), x)
+    unless @unify
+      assert_instance_of(Rational, x)
+    end
+    assert_equal(4, x.numerator)
+    assert_equal(1, x.denominator)
+=end
+    assert_equal(4.0, x)
+    unless @unify
+      assert_instance_of(Float, x)
+    end
+
+    x = Rational(-2) ** 2
+    assert_equal(Rational(4), x)
+    unless @unify
+      assert_instance_of(Rational, x)
+    end
+    assert_equal(4, x.numerator)
+    assert_equal(1, x.denominator)
+
+    x = Rational(-2) ** Rational(2)
+    ## [1.8] Rational#** calculates Rational**Rational in Float.
+=begin
+    assert_equal(Rational(4), x)
+    unless @unify
+      assert_instance_of(Rational, x)
+    end
+    assert_equal(4, x.numerator)
+    assert_equal(1, x.denominator)
+=end
+    assert_equal(4.0, x)
+    unless @unify
+      assert_instance_of(Float, x)
+    end
+
+    # p ** -p
+    x = 2 ** Rational(-2)
+    ## [1.8] Fixnum#coerce tries to convert the other operand to Float.
+=begin
+    assert_equal(Rational(1,4), x)
+    assert_instance_of(Rational, x)
+    assert_equal(1, x.numerator)
+    assert_equal(4, x.denominator)
+=end
+    assert_equal(0.25, x)
+    assert_instance_of(Float, x)
+
+    x = Rational(2) ** -2
+    assert_equal(Rational(1,4), x)
+    assert_instance_of(Rational, x)
+    assert_equal(1, x.numerator)
+    assert_equal(4, x.denominator)
+
+    x = Rational(2) ** Rational(-2)
+    ## [1.8] Rational#** calculates Rational**Rational in Float.
+=begin
+    assert_equal(Rational(1,4), x)
+    assert_instance_of(Rational, x)
+    assert_equal(1, x.numerator)
+    assert_equal(4, x.denominator)
+=end
+    assert_equal(0.25, x)
+    assert_instance_of(Float, x)
+
+    # -p ** -p
+    x = (-2) ** Rational(-2)
+    ## [1.8] Fixnum#coerce tries to convert the other operand to Float.
+=begin
+    assert_equal(Rational(1,4), x)
+    assert_instance_of(Rational, x)
+    assert_equal(1, x.numerator)
+    assert_equal(4, x.denominator)
+=end
+    assert_equal(0.25, x)
+    assert_instance_of(Float, x)
+
+    x = Rational(-2) ** -2
+    assert_equal(Rational(1,4), x)
+    assert_instance_of(Rational, x)
+    assert_equal(1, x.numerator)
+    assert_equal(4, x.denominator)
+
+    x = Rational(-2) ** Rational(-2)
+    ## [1.8] Rational#** calculates Rational**Rational in Float.
+=begin
+    assert_equal(Rational(1,4), x)
+    assert_instance_of(Rational, x)
+    assert_equal(1, x.numerator)
+    assert_equal(4, x.denominator)
+=end
+    assert_equal(0.25, x)
+    assert_instance_of(Float, x)
+
+    unless @unify # maybe bug mathn
+      ## [1.8] returns Infinity
+=begin
+      assert_raise(ZeroDivisionError){0 ** -1}
+=end
+    end
+  end
+
+  def test_cmp
+    assert_equal(-1, Rational(-1) <=> Rational(0))
+    assert_equal(0, Rational(0) <=> Rational(0))
+    assert_equal(+1, Rational(+1) <=> Rational(0))
+
+    assert_equal(-1, Rational(-1) <=> 0)
+    assert_equal(0, Rational(0) <=> 0)
+    assert_equal(+1, Rational(+1) <=> 0)
+
+    assert_equal(-1, Rational(-1) <=> 0.0)
+    assert_equal(0, Rational(0) <=> 0.0)
+    assert_equal(+1, Rational(+1) <=> 0.0)
+
+    assert_equal(-1, Rational(1,2) <=> Rational(2,3))
+    assert_equal(0, Rational(2,3) <=> Rational(2,3))
+    assert_equal(+1, Rational(2,3) <=> Rational(1,2))
+
+    f = 2**30-1
+    b = 2**30
+
+    assert_equal(0, Rational(f) <=> Rational(f))
+    assert_equal(-1, Rational(f) <=> Rational(b))
+    assert_equal(+1, Rational(b) <=> Rational(f))
+    assert_equal(0, Rational(b) <=> Rational(b))
+
+    assert_equal(-1, Rational(f-1) <=> Rational(f))
+    assert_equal(+1, Rational(f) <=> Rational(f-1))
+    assert_equal(-1, Rational(b-1) <=> Rational(b))
+    assert_equal(+1, Rational(b) <=> Rational(b-1))
+
+    assert_equal(false, Rational(0) < Rational(0))
+    assert_equal(true, Rational(0) <= Rational(0))
+    assert_equal(true, Rational(0) >= Rational(0))
+    assert_equal(false, Rational(0) > Rational(0))
+
+    assert_equal(nil, Rational(0) <=> nil)
+    assert_equal(nil, Rational(0) <=> 'foo')
+  end
+
+  def test_eqeq
+    assert(Rational(1,1) == Rational(1))
+    assert(Rational(-1,1) == Rational(-1))
+
+    assert_equal(false, Rational(2,1) == Rational(1))
+    assert_equal(true, Rational(2,1) != Rational(1))
+    assert_equal(false, Rational(1) == nil)
+    assert_equal(false, Rational(1) == '')
+  end
+
+  def test_coerce
+    assert_equal([Rational(2),Rational(1)], Rational(1).coerce(2))
+    ## [1.8] Rational coerces itself to Float
+=begin
+    assert_equal([Rational(2.2),Rational(1)], Rational(1).coerce(2.2))
+=end
+    assert_equal([2.2,1.0], Rational(1).coerce(2.2))
+    assert_equal([Rational(2),Rational(1)], Rational(1).coerce(Rational(2)))
+  end
+
+  def test_unify
+    if @unify
+      assert_instance_of(Fixnum, Rational(1,2) + Rational(1,2))
+      assert_instance_of(Fixnum, Rational(1,2) - Rational(1,2))
+      assert_instance_of(Fixnum, Rational(1,2) * 2)
+      assert_instance_of(Fixnum, Rational(1,2) / Rational(1,2))
+      assert_instance_of(Fixnum, Rational(1,2).div(Rational(1,2)))
+      assert_instance_of(Fixnum, Rational(1,2).quo(Rational(1,2)))
+      assert_instance_of(Fixnum, Rational(1,2) ** -2)
+    end
+  end
+
+  def test_math
+    assert_equal(Rational(1,2), Rational(1,2).abs)
+    assert_equal(Rational(1,2), Rational(-1,2).abs)
+    if @complex && !@keiju
+      assert_equal(Rational(1,2), Rational(1,2).magnitude)
+      assert_equal(Rational(1,2), Rational(-1,2).magnitude)
+    end
+
+    assert_equal(1, Rational(1,2).numerator)
+    assert_equal(2, Rational(1,2).denominator)
+  end
+
+  def test_trunc
+    [[Rational(13, 5),  [ 2,  3,  2,  3]], #  2.6
+     [Rational(5, 2),   [ 2,  3,  2,  3]], #  2.5
+     [Rational(12, 5),  [ 2,  3,  2,  2]], #  2.4
+     [Rational(-12,5),  [-3, -2, -2, -2]], # -2.4
+     [Rational(-5, 2),  [-3, -2, -2, -3]], # -2.5
+     [Rational(-13, 5), [-3, -2, -2, -3]], # -2.6
+    ].each do |i, a|
+      assert_equal(a[0], i.floor)
+      assert_equal(a[1], i.ceil)
+      assert_equal(a[2], i.truncate)
+      assert_equal(a[3], i.round)
+    end
+  end
+
+  def test_to_s
+    c = Rational(1,2)
+
+    assert_instance_of(String, c.to_s)
+    assert_equal('1/2', c.to_s)
+
+    if @unify
+      assert_equal('0', Rational(0,2).to_s)
+      assert_equal('0', Rational(0,-2).to_s)
+    else
+      ## [1.8] Float#to_r is missing
+=begin
+      assert_equal('0/1', Rational(0,2).to_s)
+      assert_equal('0/1', Rational(0,-2).to_s)
+=end
+      assert_equal('0', Rational(0,2).to_s)
+      assert_equal('0', Rational(0,-2).to_s)
+    end
+    assert_equal('1/2', Rational(1,2).to_s)
+    assert_equal('-1/2', Rational(-1,2).to_s)
+    assert_equal('1/2', Rational(-1,-2).to_s)
+    assert_equal('-1/2', Rational(1,-2).to_s)
+    assert_equal('1/2', Rational(-1,-2).to_s)
+  end
+
+  def test_inspect
+    c = Rational(1,2)
+
+    assert_instance_of(String, c.inspect)
+    ## [1.8] Format changed in 1.9
+=begin
+    assert_equal('(1/2)', c.inspect)
+=end
+    assert_equal('Rational(1, 2)', c.inspect)
+  end
+
+  def test_marshal
+    c = Rational(1,2)
+    c.instance_eval{@ivar = 9}
+
+    s = Marshal.dump(c)
+    c2 = Marshal.load(s)
+    assert_equal(c, c2)
+    assert_equal(9, c2.instance_variable_get(:@ivar))
+    assert_instance_of(Rational, c2)
+
+    ## [1.8] No support (yet) for the marshal format of Rational in 1.9
+=begin
+    assert_raise(ZeroDivisionError){
+      Marshal.load("\x04\bU:\rRational[\ai\x06i\x05")
+    }
+=end
+  end
+
+  ## [1.8] String#to_r is missing
+=begin
+  def test_parse
+    assert_equal(Rational(5), '5'.to_r)
+    assert_equal(Rational(-5), '-5'.to_r)
+    assert_equal(Rational(5,3), '5/3'.to_r)
+    assert_equal(Rational(-5,3), '-5/3'.to_r)
+#    assert_equal(Rational(5,-3), '5/-3'.to_r)
+#    assert_equal(Rational(-5,-3), '-5/-3'.to_r)
+
+    assert_equal(Rational(5), '5.0'.to_r)
+    assert_equal(Rational(-5), '-5.0'.to_r)
+    assert_equal(Rational(5,3), '5.0/3'.to_r)
+    assert_equal(Rational(-5,3), '-5.0/3'.to_r)
+#    assert_equal(Rational(5,-3), '5.0/-3'.to_r)
+#    assert_equal(Rational(-5,-3), '-5.0/-3'.to_r)
+
+    assert_equal(Rational(5), '5e0'.to_r)
+    assert_equal(Rational(-5), '-5e0'.to_r)
+    assert_equal(Rational(5,3), '5e0/3'.to_r)
+    assert_equal(Rational(-5,3), '-5e0/3'.to_r)
+#    assert_equal(Rational(5,-3), '5e0/-3'.to_r)
+#    assert_equal(Rational(-5,-3), '-5e0/-3'.to_r)
+
+    assert_equal(Rational(33,100), '.33'.to_r)
+    assert_equal(Rational(33,100), '0.33'.to_r)
+    assert_equal(Rational(-33,100), '-.33'.to_r)
+    assert_equal(Rational(-33,100), '-0.33'.to_r)
+    assert_equal(Rational(-33,100), '-0.3_3'.to_r)
+
+    assert_equal(Rational(1,2), '5e-1'.to_r)
+    assert_equal(Rational(50), '5e+1'.to_r)
+    assert_equal(Rational(1,2), '5.0e-1'.to_r)
+    assert_equal(Rational(50), '5.0e+1'.to_r)
+    assert_equal(Rational(50), '5e1'.to_r)
+    assert_equal(Rational(50), '5E1'.to_r)
+    assert_equal(Rational(500), '5e2'.to_r)
+    assert_equal(Rational(5000), '5e3'.to_r)
+    assert_equal(Rational(500000000000), '5e1_1'.to_r)
+
+    assert_equal(Rational(5), Rational('5'))
+    assert_equal(Rational(-5), Rational('-5'))
+    assert_equal(Rational(5,3), Rational('5/3'))
+    assert_equal(Rational(-5,3), Rational('-5/3'))
+#    assert_equal(Rational(5,-3), Rational('5/-3'))
+#    assert_equal(Rational(-5,-3), Rational('-5/-3'))
+
+    assert_equal(Rational(5), Rational('5.0'))
+    assert_equal(Rational(-5), Rational('-5.0'))
+    assert_equal(Rational(5,3), Rational('5.0/3'))
+    assert_equal(Rational(-5,3), Rational('-5.0/3'))
+#    assert_equal(Rational(5,-3), Rational('5.0/-3'))
+#    assert_equal(Rational(-5,-3), Rational('-5.0/-3'))
+
+    assert_equal(Rational(5), Rational('5e0'))
+    assert_equal(Rational(-5), Rational('-5e0'))
+    assert_equal(Rational(5,3), Rational('5e0/3'))
+    assert_equal(Rational(-5,3), Rational('-5e0/3'))
+#    assert_equal(Rational(5,-3), Rational('5e0/-3'))
+#    assert_equal(Rational(-5,-3), Rational('-5e0/-3'))
+
+    assert_equal(Rational(33,100), Rational('.33'))
+    assert_equal(Rational(33,100), Rational('0.33'))
+    assert_equal(Rational(-33,100), Rational('-.33'))
+    assert_equal(Rational(-33,100), Rational('-0.33'))
+    assert_equal(Rational(-33,100), Rational('-0.3_3'))
+
+    assert_equal(Rational(1,2), Rational('5e-1'))
+    assert_equal(Rational(50), Rational('5e+1'))
+    assert_equal(Rational(1,2), Rational('5.0e-1'))
+    assert_equal(Rational(50), Rational('5.0e+1'))
+    assert_equal(Rational(50), Rational('5e1'))
+    assert_equal(Rational(50), Rational('5E1'))
+    assert_equal(Rational(500), Rational('5e2'))
+    assert_equal(Rational(5000), Rational('5e3'))
+    assert_equal(Rational(500000000000), Rational('5e1_1'))
+
+    assert_equal(Rational(0), ''.to_r)
+    assert_equal(Rational(0), ' '.to_r)
+    assert_equal(Rational(5), "\f\n\r\t\v5\0".to_r)
+    assert_equal(Rational(0), '_'.to_r)
+    assert_equal(Rational(0), '_5'.to_r)
+    assert_equal(Rational(5), '5_'.to_r)
+    assert_equal(Rational(5), '5x'.to_r)
+    assert_equal(Rational(5), '5/_3'.to_r)
+    assert_equal(Rational(5,3), '5/3_'.to_r)
+    assert_equal(Rational(5,3), '5/3.3'.to_r)
+    assert_equal(Rational(5,3), '5/3x'.to_r)
+    assert_raise(ArgumentError){ Rational('')}
+    assert_raise(ArgumentError){ Rational('_')}
+    assert_raise(ArgumentError){ Rational("\f\n\r\t\v5\0")}
+    assert_raise(ArgumentError){ Rational('_5')}
+    assert_raise(ArgumentError){ Rational('5_')}
+    assert_raise(ArgumentError){ Rational('5x')}
+    assert_raise(ArgumentError){ Rational('5/_3')}
+    assert_raise(ArgumentError){ Rational('5/3_')}
+    assert_raise(ArgumentError){ Rational('5/3.3')}
+    assert_raise(ArgumentError){ Rational('5/3x')}
+  end
+=end
+
+=begin
+  def test_reciprocal
+    assert_equal(Rational(1,9), Rational(9,1).reciprocal)
+    assert_equal(Rational(9,1), Rational(1,9).reciprocal)
+    assert_equal(Rational(-1,9), Rational(-9,1).reciprocal)
+    assert_equal(Rational(-9,1), Rational(-1,9).reciprocal)
+    assert_equal(Rational(1,9), Rational(9,1).inverse)
+    assert_equal(Rational(9,1), Rational(1,9).inverse)
+    assert_equal(Rational(-1,9), Rational(-9,1).inverse)
+    assert_equal(Rational(-9,1), Rational(-1,9).inverse)
+  end
+=end
+
+  def test_to_i
+    assert_equal(1, Rational(3,2).to_i)
+    assert_equal(1, Integer(Rational(3,2)))
+  end
+
+  def test_to_f
+    assert_equal(1.5, Rational(3,2).to_f)
+    assert_equal(1.5, Float(Rational(3,2)))
+  end
+
+  def test_to_c
+    if @complex && !@keiju
+      if @unify
+	assert_equal(Rational(3,2), Rational(3,2).to_c)
+	assert_equal(Rational(3,2), Complex(Rational(3,2)))
+      else
+	assert_equal(Complex(Rational(3,2)), Rational(3,2).to_c)
+	assert_equal(Complex(Rational(3,2)), Complex(Rational(3,2)))
+      end
+    end
+  end
+
+  def test_to_r
+    ## [1.8] Float#to_r is missing
+=begin
+    c = nil.to_r
+    assert_equal([0,1], [c.numerator, c.denominator])
+=end
+
+    c = 0.to_r
+    assert_equal([0,1], [c.numerator, c.denominator])
+
+    c = 1.to_r
+    assert_equal([1,1], [c.numerator, c.denominator])
+
+    ## [1.8] Float#to_r is missing
+=begin
+    c = 1.1.to_r
+    assert_equal([2476979795053773, 2251799813685248],
+		 [c.numerator, c.denominator])
+=end
+
+    c = Rational(1,2).to_r
+    assert_equal([1,2], [c.numerator, c.denominator])
+
+    if @complex
+      if @keiju
+	assert_raise(NoMethodError){Complex(1,2).to_r}
+      else
+	assert_raise(RangeError){Complex(1,2).to_r}
+      end
+    end
+
+    ## [1.8] Float#to_r is missing
+=begin
+    if (0.0/0).nan?
+      assert_raise(FloatDomainError){(0.0/0).to_r}
+    end
+    if (1.0/0).infinite?
+      assert_raise(FloatDomainError){(1.0/0).to_r}
+    end
+=end
+  end
+
+  ## [1.8] #rationalize is missing
+=begin
+  def test_rationalize
+    c = nil.rationalize
+    assert_equal([0,1], [c.numerator, c.denominator])
+
+    c = 0.rationalize
+    assert_equal([0,1], [c.numerator, c.denominator])
+
+    c = 1.rationalize
+    assert_equal([1,1], [c.numerator, c.denominator])
+
+    c = 1.1.rationalize
+    assert_equal([11, 10], [c.numerator, c.denominator])
+
+    c = Rational(1,2).rationalize
+    assert_equal([1,2], [c.numerator, c.denominator])
+
+    assert_equal(nil.rationalize(Rational(1,10)), Rational(0))
+    assert_equal(0.rationalize(Rational(1,10)), Rational(0))
+    assert_equal(10.rationalize(Rational(1,10)), Rational(10))
+
+    r = 0.3333
+    assert_equal(r.rationalize, Rational(3333, 10000))
+    assert_equal(r.rationalize(Rational(1,10)), Rational(1,3))
+    assert_equal(r.rationalize(Rational(-1,10)), Rational(1,3))
+
+    r = Rational(5404319552844595,18014398509481984)
+    assert_equal(r.rationalize, r)
+    assert_equal(r.rationalize(Rational(1,10)), Rational(1,3))
+    assert_equal(r.rationalize(Rational(-1,10)), Rational(1,3))
+
+    r = -0.3333
+    assert_equal(r.rationalize, Rational(-3333, 10000))
+    assert_equal(r.rationalize(Rational(1,10)), Rational(-1,3))
+    assert_equal(r.rationalize(Rational(-1,10)), Rational(-1,3))
+
+    r = Rational(-5404319552844595,18014398509481984)
+    assert_equal(r.rationalize, r)
+    assert_equal(r.rationalize(Rational(1,10)), Rational(-1,3))
+    assert_equal(r.rationalize(Rational(-1,10)), Rational(-1,3))
+
+    if @complex
+      if @keiju
+      else
+	assert_raise(RangeError){Complex(1,2).rationalize}
+      end
+    end
+
+    if (0.0/0).nan?
+      assert_raise(FloatDomainError){(0.0/0).rationalize}
+    end
+    if (1.0/0).infinite?
+      assert_raise(FloatDomainError){(1.0/0).rationalize}
+    end
+  end
+=end
+
+  def test_gcdlcm
+    assert_equal(7, 91.gcd(-49))
+    assert_equal(5, 5.gcd(0))
+    assert_equal(5, 0.gcd(5))
+    assert_equal(70, 14.lcm(35))
+    assert_equal(0, 5.lcm(0))
+    assert_equal(0, 0.lcm(5))
+    assert_equal([5,0], 0.gcdlcm(5))
+    assert_equal([5,0], 5.gcdlcm(0))
+
+    assert_equal(1, 1073741827.gcd(1073741789))
+    assert_equal(1152921470247108503, 1073741827.lcm(1073741789))
+
+    assert_equal(1, 1073741789.gcd(1073741827))
+    assert_equal(1152921470247108503, 1073741789.lcm(1073741827))
+  end
+
+  def test_supp
+    ## [1.8] Numeric#real? is missing
+=begin
+    assert_equal(true, 1.real?)
+    assert_equal(true, 1.1.real?)
+=end
+
+    assert_equal(1, 1.numerator)
+    assert_equal(9, 9.numerator)
+    assert_equal(1, 1.denominator)
+    assert_equal(1, 9.denominator)
+
+    ## [1.8] Float#to_r is missing
+=begin
+    assert_equal(1.0, 1.0.numerator)
+    assert_equal(9.0, 9.0.numerator)
+    assert_equal(1.0, 1.0.denominator)
+    assert_equal(1.0, 9.0.denominator)
+=end
+
+=begin
+    assert_equal(Rational(1,9), 9.reciprocal)
+    assert_in_delta(0.1111, 9.0.reciprocal, 0.001)
+    assert_equal(Rational(1,9), 9.inverse)
+    assert_in_delta(0.1111, 9.0.inverse, 0.001)
+=end
+
+    assert_equal(Rational(1,2), 1.quo(2))
+    assert_equal(Rational(5000000000), 10000000000.quo(2))
+    assert_equal(0.5, 1.0.quo(2))
+    assert_equal(Rational(1,4), Rational(1,2).quo(2))
+
+    assert_equal(0.5, 1.fdiv(2))
+    assert_equal(5000000000.0, 10000000000.fdiv(2))
+    assert_equal(0.5, 1.0.fdiv(2))
+    assert_equal(0.25, Rational(1,2).fdiv(2))
+  end
+
+  ## [1.8] Not for me
+=begin
+  def test_ruby19
+    assert_raise(NoMethodError){ Rational.new(1) }
+    assert_raise(NoMethodError){ Rational.new!(1) }
+  end
+=end
+
+  def test_fixed_bug
+    if @unify
+      assert_instance_of(Fixnum, Rational(1,2) ** 0) # mathn's bug
+    end
+
+    n = Float::MAX.to_i * 2
+    ## [1.8] Bug still exists (or is left as "a feature")
+=begin
+    assert_equal(1.0, Rational(n + 2, n + 1).to_f, '[ruby-dev:33852]')
+=end
+  end
+
+  def test_known_bug
+  end
+
+end
diff --git a/test/rational/test_rational2.rb b/test/rational/test_rational2.rb
new file mode 100644
index 0000000000..598c1ff233
--- /dev/null
+++ b/test/rational/test_rational2.rb
@@ -0,0 +1,1387 @@
+require 'test/unit'
+require 'rational'
+
+class Rational_Test2 < Test::Unit::TestCase
+
+  def test_kumi
+    assert_equal(Rational(1, 1), +Rational(1, 1))
+    assert_equal(Rational(-1, 1), -Rational(1, 1))
+    assert_equal(Rational(2, 1),
+                 Rational(1, 1) + Rational(1, 1))
+    assert_equal(Rational(0, 1),
+                 Rational(1, 1) - Rational(1, 1))
+    assert_equal(Rational(1, 1),
+                 Rational(1, 1) * Rational(1, 1))
+    assert_equal(Rational(1, 1),
+                 Rational(1, 1) / Rational(1, 1))
+    assert_equal(Rational(3, 1),
+                 Rational(1, 1) + Rational(2, 1))
+    assert_equal(Rational(-1, 1),
+                 Rational(1, 1) - Rational(2, 1))
+    assert_equal(Rational(2, 1),
+                 Rational(1, 1) * Rational(2, 1))
+    assert_equal(Rational(1, 2),
+                 Rational(1, 1) / Rational(2, 1))
+    assert_equal(Rational(4, 1),
+                 Rational(1, 1) + Rational(3, 1))
+    assert_equal(Rational(-2, 1),
+                 Rational(1, 1) - Rational(3, 1))
+    assert_equal(Rational(3, 1),
+                 Rational(1, 1) * Rational(3, 1))
+    assert_equal(Rational(1, 3),
+                 Rational(1, 1) / Rational(3, 1))
+    assert_equal(Rational(1073741790, 1),
+                 Rational(1, 1) + Rational(1073741789, 1))
+    assert_equal(Rational(-1073741788, 1),
+                 Rational(1, 1) - Rational(1073741789, 1))
+    assert_equal(Rational(1073741789, 1),
+                 Rational(1, 1) * Rational(1073741789, 1))
+    assert_equal(Rational(1, 1073741789),
+                 Rational(1, 1) / Rational(1073741789, 1))
+    assert_equal(Rational(1073741828, 1),
+                 Rational(1, 1) + Rational(1073741827, 1))
+    assert_equal(Rational(-1073741826, 1),
+                 Rational(1, 1) - Rational(1073741827, 1))
+    assert_equal(Rational(1073741827, 1),
+                 Rational(1, 1) * Rational(1073741827, 1))
+    assert_equal(Rational(1, 1073741827),
+                 Rational(1, 1) / Rational(1073741827, 1))
+    assert_equal(Rational(5, 3),
+                 Rational(1, 1) + Rational(2, 3))
+    assert_equal(Rational(1, 3),
+                 Rational(1, 1) - Rational(2, 3))
+    assert_equal(Rational(2, 3),
+                 Rational(1, 1) * Rational(2, 3))
+    assert_equal(Rational(3, 2),
+                 Rational(1, 1) / Rational(2, 3))
+    assert_equal(Rational(5, 2),
+                 Rational(1, 1) + Rational(3, 2))
+    assert_equal(Rational(-1, 2),
+                 Rational(1, 1) - Rational(3, 2))
+    assert_equal(Rational(3, 2),
+                 Rational(1, 1) * Rational(3, 2))
+    assert_equal(Rational(2, 3),
+                 Rational(1, 1) / Rational(3, 2))
+    assert_equal(Rational(1073741792, 1073741789),
+                 Rational(1, 1) + Rational(3, 1073741789))
+    assert_equal(Rational(1073741786, 1073741789),
+                 Rational(1, 1) - Rational(3, 1073741789))
+    assert_equal(Rational(3, 1073741789),
+                 Rational(1, 1) * Rational(3, 1073741789))
+    assert_equal(Rational(1073741789, 3),
+                 Rational(1, 1) / Rational(3, 1073741789))
+    assert_equal(Rational(1073741792, 3),
+                 Rational(1, 1) + Rational(1073741789, 3))
+    assert_equal(Rational(-1073741786, 3),
+                 Rational(1, 1) - Rational(1073741789, 3))
+    assert_equal(Rational(1073741789, 3),
+                 Rational(1, 1) * Rational(1073741789, 3))
+    assert_equal(Rational(3, 1073741789),
+                 Rational(1, 1) / Rational(1073741789, 3))
+    assert_equal(Rational(1073741830, 1073741827),
+                 Rational(1, 1) + Rational(3, 1073741827))
+    assert_equal(Rational(1073741824, 1073741827),
+                 Rational(1, 1) - Rational(3, 1073741827))
+    assert_equal(Rational(3, 1073741827),
+                 Rational(1, 1) * Rational(3, 1073741827))
+    assert_equal(Rational(1073741827, 3),
+                 Rational(1, 1) / Rational(3, 1073741827))
+    assert_equal(Rational(1073741830, 3),
+                 Rational(1, 1) + Rational(1073741827, 3))
+    assert_equal(Rational(-1073741824, 3),
+                 Rational(1, 1) - Rational(1073741827, 3))
+    assert_equal(Rational(1073741827, 3),
+                 Rational(1, 1) * Rational(1073741827, 3))
+    assert_equal(Rational(3, 1073741827),
+                 Rational(1, 1) / Rational(1073741827, 3))
+    assert_equal(Rational(2147483616, 1073741827),
+                 Rational(1, 1) + Rational(1073741789, 1073741827))
+    assert_equal(Rational(38, 1073741827),
+                 Rational(1, 1) - Rational(1073741789, 1073741827))
+    assert_equal(Rational(1073741789, 1073741827),
+                 Rational(1, 1) * Rational(1073741789, 1073741827))
+    assert_equal(Rational(1073741827, 1073741789),
+                 Rational(1, 1) / Rational(1073741789, 1073741827))
+    assert_equal(Rational(2147483616, 1073741789),
+                 Rational(1, 1) + Rational(1073741827, 1073741789))
+    assert_equal(Rational(-38, 1073741789),
+                 Rational(1, 1) - Rational(1073741827, 1073741789))
+    assert_equal(Rational(1073741827, 1073741789),
+                 Rational(1, 1) * Rational(1073741827, 1073741789))
+    assert_equal(Rational(1073741789, 1073741827),
+                 Rational(1, 1) / Rational(1073741827, 1073741789))
+    assert_equal(Rational(2, 1), +Rational(2, 1))
+    assert_equal(Rational(-2, 1), -Rational(2, 1))
+    assert_equal(Rational(3, 1),
+                 Rational(2, 1) + Rational(1, 1))
+    assert_equal(Rational(1, 1),
+                 Rational(2, 1) - Rational(1, 1))
+    assert_equal(Rational(2, 1),
+                 Rational(2, 1) * Rational(1, 1))
+    assert_equal(Rational(2, 1),
+                 Rational(2, 1) / Rational(1, 1))
+    assert_equal(Rational(4, 1),
+                 Rational(2, 1) + Rational(2, 1))
+    assert_equal(Rational(0, 1),
+                 Rational(2, 1) - Rational(2, 1))
+    assert_equal(Rational(4, 1),
+                 Rational(2, 1) * Rational(2, 1))
+    assert_equal(Rational(1, 1),
+                 Rational(2, 1) / Rational(2, 1))
+    assert_equal(Rational(5, 1),
+                 Rational(2, 1) + Rational(3, 1))
+    assert_equal(Rational(-1, 1),
+                 Rational(2, 1) - Rational(3, 1))
+    assert_equal(Rational(6, 1),
+                 Rational(2, 1) * Rational(3, 1))
+    assert_equal(Rational(2, 3),
+                 Rational(2, 1) / Rational(3, 1))
+    assert_equal(Rational(1073741791, 1),
+                 Rational(2, 1) + Rational(1073741789, 1))
+    assert_equal(Rational(-1073741787, 1),
+                 Rational(2, 1) - Rational(1073741789, 1))
+    assert_equal(Rational(2147483578, 1),
+                 Rational(2, 1) * Rational(1073741789, 1))
+    assert_equal(Rational(2, 1073741789),
+                 Rational(2, 1) / Rational(1073741789, 1))
+    assert_equal(Rational(1073741829, 1),
+                 Rational(2, 1) + Rational(1073741827, 1))
+    assert_equal(Rational(-1073741825, 1),
+                 Rational(2, 1) - Rational(1073741827, 1))
+    assert_equal(Rational(2147483654, 1),
+                 Rational(2, 1) * Rational(1073741827, 1))
+    assert_equal(Rational(2, 1073741827),
+                 Rational(2, 1) / Rational(1073741827, 1))
+    assert_equal(Rational(8, 3),
+                 Rational(2, 1) + Rational(2, 3))
+    assert_equal(Rational(4, 3),
+                 Rational(2, 1) - Rational(2, 3))
+    assert_equal(Rational(4, 3),
+                 Rational(2, 1) * Rational(2, 3))
+    assert_equal(Rational(3, 1),
+                 Rational(2, 1) / Rational(2, 3))
+    assert_equal(Rational(7, 2),
+                 Rational(2, 1) + Rational(3, 2))
+    assert_equal(Rational(1, 2),
+                 Rational(2, 1) - Rational(3, 2))
+    assert_equal(Rational(3, 1),
+                 Rational(2, 1) * Rational(3, 2))
+    assert_equal(Rational(4, 3),
+                 Rational(2, 1) / Rational(3, 2))
+    assert_equal(Rational(2147483581, 1073741789),
+                 Rational(2, 1) + Rational(3, 1073741789))
+    assert_equal(Rational(2147483575, 1073741789),
+                 Rational(2, 1) - Rational(3, 1073741789))
+    assert_equal(Rational(6, 1073741789),
+                 Rational(2, 1) * Rational(3, 1073741789))
+    assert_equal(Rational(2147483578, 3),
+                 Rational(2, 1) / Rational(3, 1073741789))
+    assert_equal(Rational(1073741795, 3),
+                 Rational(2, 1) + Rational(1073741789, 3))
+    assert_equal(Rational(-1073741783, 3),
+                 Rational(2, 1) - Rational(1073741789, 3))
+    assert_equal(Rational(2147483578, 3),
+                 Rational(2, 1) * Rational(1073741789, 3))
+    assert_equal(Rational(6, 1073741789),
+                 Rational(2, 1) / Rational(1073741789, 3))
+    assert_equal(Rational(2147483657, 1073741827),
+                 Rational(2, 1) + Rational(3, 1073741827))
+    assert_equal(Rational(2147483651, 1073741827),
+                 Rational(2, 1) - Rational(3, 1073741827))
+    assert_equal(Rational(6, 1073741827),
+                 Rational(2, 1) * Rational(3, 1073741827))
+    assert_equal(Rational(2147483654, 3),
+                 Rational(2, 1) / Rational(3, 1073741827))
+    assert_equal(Rational(1073741833, 3),
+                 Rational(2, 1) + Rational(1073741827, 3))
+    assert_equal(Rational(-1073741821, 3),
+                 Rational(2, 1) - Rational(1073741827, 3))
+    assert_equal(Rational(2147483654, 3),
+                 Rational(2, 1) * Rational(1073741827, 3))
+    assert_equal(Rational(6, 1073741827),
+                 Rational(2, 1) / Rational(1073741827, 3))
+    assert_equal(Rational(3221225443, 1073741827),
+                 Rational(2, 1) + Rational(1073741789, 1073741827))
+    assert_equal(Rational(1073741865, 1073741827),
+                 Rational(2, 1) - Rational(1073741789, 1073741827))
+    assert_equal(Rational(2147483578, 1073741827),
+                 Rational(2, 1) * Rational(1073741789, 1073741827))
+    assert_equal(Rational(2147483654, 1073741789),
+                 Rational(2, 1) / Rational(1073741789, 1073741827))
+    assert_equal(Rational(3221225405, 1073741789),
+                 Rational(2, 1) + Rational(1073741827, 1073741789))
+    assert_equal(Rational(1073741751, 1073741789),
+                 Rational(2, 1) - Rational(1073741827, 1073741789))
+    assert_equal(Rational(2147483654, 1073741789),
+                 Rational(2, 1) * Rational(1073741827, 1073741789))
+    assert_equal(Rational(2147483578, 1073741827),
+                 Rational(2, 1) / Rational(1073741827, 1073741789))
+    assert_equal(Rational(3, 1), +Rational(3, 1))
+    assert_equal(Rational(-3, 1), -Rational(3, 1))
+    assert_equal(Rational(4, 1),
+                 Rational(3, 1) + Rational(1, 1))
+    assert_equal(Rational(2, 1),
+                 Rational(3, 1) - Rational(1, 1))
+    assert_equal(Rational(3, 1),
+                 Rational(3, 1) * Rational(1, 1))
+    assert_equal(Rational(3, 1),
+                 Rational(3, 1) / Rational(1, 1))
+    assert_equal(Rational(5, 1),
+                 Rational(3, 1) + Rational(2, 1))
+    assert_equal(Rational(1, 1),
+                 Rational(3, 1) - Rational(2, 1))
+    assert_equal(Rational(6, 1),
+                 Rational(3, 1) * Rational(2, 1))
+    assert_equal(Rational(3, 2),
+                 Rational(3, 1) / Rational(2, 1))
+    assert_equal(Rational(6, 1),
+                 Rational(3, 1) + Rational(3, 1))
+    assert_equal(Rational(0, 1),
+                 Rational(3, 1) - Rational(3, 1))
+    assert_equal(Rational(9, 1),
+                 Rational(3, 1) * Rational(3, 1))
+    assert_equal(Rational(1, 1),
+                 Rational(3, 1) / Rational(3, 1))
+    assert_equal(Rational(1073741792, 1),
+                 Rational(3, 1) + Rational(1073741789, 1))
+    assert_equal(Rational(-1073741786, 1),
+                 Rational(3, 1) - Rational(1073741789, 1))
+    assert_equal(Rational(3221225367, 1),
+                 Rational(3, 1) * Rational(1073741789, 1))
+    assert_equal(Rational(3, 1073741789),
+                 Rational(3, 1) / Rational(1073741789, 1))
+    assert_equal(Rational(1073741830, 1),
+                 Rational(3, 1) + Rational(1073741827, 1))
+    assert_equal(Rational(-1073741824, 1),
+                 Rational(3, 1) - Rational(1073741827, 1))
+    assert_equal(Rational(3221225481, 1),
+                 Rational(3, 1) * Rational(1073741827, 1))
+    assert_equal(Rational(3, 1073741827),
+                 Rational(3, 1) / Rational(1073741827, 1))
+    assert_equal(Rational(11, 3),
+                 Rational(3, 1) + Rational(2, 3))
+    assert_equal(Rational(7, 3),
+                 Rational(3, 1) - Rational(2, 3))
+    assert_equal(Rational(2, 1),
+                 Rational(3, 1) * Rational(2, 3))
+    assert_equal(Rational(9, 2),
+                 Rational(3, 1) / Rational(2, 3))
+    assert_equal(Rational(9, 2),
+                 Rational(3, 1) + Rational(3, 2))
+    assert_equal(Rational(3, 2),
+                 Rational(3, 1) - Rational(3, 2))
+    assert_equal(Rational(9, 2),
+                 Rational(3, 1) * Rational(3, 2))
+    assert_equal(Rational(2, 1),
+                 Rational(3, 1) / Rational(3, 2))
+    assert_equal(Rational(3221225370, 1073741789),
+                 Rational(3, 1) + Rational(3, 1073741789))
+    assert_equal(Rational(3221225364, 1073741789),
+                 Rational(3, 1) - Rational(3, 1073741789))
+    assert_equal(Rational(9, 1073741789),
+                 Rational(3, 1) * Rational(3, 1073741789))
+    assert_equal(Rational(1073741789, 1),
+                 Rational(3, 1) / Rational(3, 1073741789))
+    assert_equal(Rational(1073741798, 3),
+                 Rational(3, 1) + Rational(1073741789, 3))
+    assert_equal(Rational(-1073741780, 3),
+                 Rational(3, 1) - Rational(1073741789, 3))
+    assert_equal(Rational(1073741789, 1),
+                 Rational(3, 1) * Rational(1073741789, 3))
+    assert_equal(Rational(9, 1073741789),
+                 Rational(3, 1) / Rational(1073741789, 3))
+    assert_equal(Rational(3221225484, 1073741827),
+                 Rational(3, 1) + Rational(3, 1073741827))
+    assert_equal(Rational(3221225478, 1073741827),
+                 Rational(3, 1) - Rational(3, 1073741827))
+    assert_equal(Rational(9, 1073741827),
+                 Rational(3, 1) * Rational(3, 1073741827))
+    assert_equal(Rational(1073741827, 1),
+                 Rational(3, 1) / Rational(3, 1073741827))
+    assert_equal(Rational(1073741836, 3),
+                 Rational(3, 1) + Rational(1073741827, 3))
+    assert_equal(Rational(-1073741818, 3),
+                 Rational(3, 1) - Rational(1073741827, 3))
+    assert_equal(Rational(1073741827, 1),
+                 Rational(3, 1) * Rational(1073741827, 3))
+    assert_equal(Rational(9, 1073741827),
+                 Rational(3, 1) / Rational(1073741827, 3))
+    assert_equal(Rational(4294967270, 1073741827),
+                 Rational(3, 1) + Rational(1073741789, 1073741827))
+    assert_equal(Rational(2147483692, 1073741827),
+                 Rational(3, 1) - Rational(1073741789, 1073741827))
+    assert_equal(Rational(3221225367, 1073741827),
+                 Rational(3, 1) * Rational(1073741789, 1073741827))
+    assert_equal(Rational(3221225481, 1073741789),
+                 Rational(3, 1) / Rational(1073741789, 1073741827))
+    assert_equal(Rational(4294967194, 1073741789),
+                 Rational(3, 1) + Rational(1073741827, 1073741789))
+    assert_equal(Rational(2147483540, 1073741789),
+                 Rational(3, 1) - Rational(1073741827, 1073741789))
+    assert_equal(Rational(3221225481, 1073741789),
+                 Rational(3, 1) * Rational(1073741827, 1073741789))
+    assert_equal(Rational(3221225367, 1073741827),
+                 Rational(3, 1) / Rational(1073741827, 1073741789))
+    assert_equal(Rational(1073741789, 1), +Rational(1073741789, 1))
+    assert_equal(Rational(-1073741789, 1), -Rational(1073741789, 1))
+    assert_equal(Rational(1073741790, 1),
+                 Rational(1073741789, 1) + Rational(1, 1))
+    assert_equal(Rational(1073741788, 1),
+                 Rational(1073741789, 1) - Rational(1, 1))
+    assert_equal(Rational(1073741789, 1),
+                 Rational(1073741789, 1) * Rational(1, 1))
+    assert_equal(Rational(1073741789, 1),
+                 Rational(1073741789, 1) / Rational(1, 1))
+    assert_equal(Rational(1073741791, 1),
+                 Rational(1073741789, 1) + Rational(2, 1))
+    assert_equal(Rational(1073741787, 1),
+                 Rational(1073741789, 1) - Rational(2, 1))
+    assert_equal(Rational(2147483578, 1),
+                 Rational(1073741789, 1) * Rational(2, 1))
+    assert_equal(Rational(1073741789, 2),
+                 Rational(1073741789, 1) / Rational(2, 1))
+    assert_equal(Rational(1073741792, 1),
+                 Rational(1073741789, 1) + Rational(3, 1))
+    assert_equal(Rational(1073741786, 1),
+                 Rational(1073741789, 1) - Rational(3, 1))
+    assert_equal(Rational(3221225367, 1),
+                 Rational(1073741789, 1) * Rational(3, 1))
+    assert_equal(Rational(1073741789, 3),
+                 Rational(1073741789, 1) / Rational(3, 1))
+    assert_equal(Rational(2147483578, 1),
+                 Rational(1073741789, 1) + Rational(1073741789, 1))
+    assert_equal(Rational(0, 1),
+                 Rational(1073741789, 1) - Rational(1073741789, 1))
+    assert_equal(Rational(1152921429444920521, 1),
+                 Rational(1073741789, 1) * Rational(1073741789, 1))
+    assert_equal(Rational(1, 1),
+                 Rational(1073741789, 1) / Rational(1073741789, 1))
+    assert_equal(Rational(2147483616, 1),
+                 Rational(1073741789, 1) + Rational(1073741827, 1))
+    assert_equal(Rational(-38, 1),
+                 Rational(1073741789, 1) - Rational(1073741827, 1))
+    assert_equal(Rational(1152921470247108503, 1),
+                 Rational(1073741789, 1) * Rational(1073741827, 1))
+    assert_equal(Rational(1073741789, 1073741827),
+                 Rational(1073741789, 1) / Rational(1073741827, 1))
+    assert_equal(Rational(3221225369, 3),
+                 Rational(1073741789, 1) + Rational(2, 3))
+    assert_equal(Rational(3221225365, 3),
+                 Rational(1073741789, 1) - Rational(2, 3))
+    assert_equal(Rational(2147483578, 3),
+                 Rational(1073741789, 1) * Rational(2, 3))
+    assert_equal(Rational(3221225367, 2),
+                 Rational(1073741789, 1) / Rational(2, 3))
+    assert_equal(Rational(2147483581, 2),
+                 Rational(1073741789, 1) + Rational(3, 2))
+    assert_equal(Rational(2147483575, 2),
+                 Rational(1073741789, 1) - Rational(3, 2))
+    assert_equal(Rational(3221225367, 2),
+                 Rational(1073741789, 1) * Rational(3, 2))
+    assert_equal(Rational(2147483578, 3),
+                 Rational(1073741789, 1) / Rational(3, 2))
+    assert_equal(Rational(1152921429444920524, 1073741789),
+                 Rational(1073741789, 1) + Rational(3, 1073741789))
+    assert_equal(Rational(1152921429444920518, 1073741789),
+                 Rational(1073741789, 1) - Rational(3, 1073741789))
+    assert_equal(Rational(3, 1),
+                 Rational(1073741789, 1) * Rational(3, 1073741789))
+    assert_equal(Rational(1152921429444920521, 3),
+                 Rational(1073741789, 1) / Rational(3, 1073741789))
+    assert_equal(Rational(4294967156, 3),
+                 Rational(1073741789, 1) + Rational(1073741789, 3))
+    assert_equal(Rational(2147483578, 3),
+                 Rational(1073741789, 1) - Rational(1073741789, 3))
+    assert_equal(Rational(1152921429444920521, 3),
+                 Rational(1073741789, 1) * Rational(1073741789, 3))
+    assert_equal(Rational(3, 1),
+                 Rational(1073741789, 1) / Rational(1073741789, 3))
+    assert_equal(Rational(1152921470247108506, 1073741827),
+                 Rational(1073741789, 1) + Rational(3, 1073741827))
+    assert_equal(Rational(1152921470247108500, 1073741827),
+                 Rational(1073741789, 1) - Rational(3, 1073741827))
+    assert_equal(Rational(3221225367, 1073741827),
+                 Rational(1073741789, 1) * Rational(3, 1073741827))
+    assert_equal(Rational(1152921470247108503, 3),
+                 Rational(1073741789, 1) / Rational(3, 1073741827))
+    assert_equal(Rational(4294967194, 3),
+                 Rational(1073741789, 1) + Rational(1073741827, 3))
+    assert_equal(Rational(2147483540, 3),
+                 Rational(1073741789, 1) - Rational(1073741827, 3))
+    assert_equal(Rational(1152921470247108503, 3),
+                 Rational(1073741789, 1) * Rational(1073741827, 3))
+    assert_equal(Rational(3221225367, 1073741827),
+                 Rational(1073741789, 1) / Rational(1073741827, 3))
+    assert_equal(Rational(1152921471320850292, 1073741827),
+                 Rational(1073741789, 1) + Rational(1073741789, 1073741827))
+    assert_equal(Rational(1152921469173366714, 1073741827),
+                 Rational(1073741789, 1) - Rational(1073741789, 1073741827))
+    assert_equal(Rational(1152921429444920521, 1073741827),
+                 Rational(1073741789, 1) * Rational(1073741789, 1073741827))
+    assert_equal(Rational(1073741827, 1),
+                 Rational(1073741789, 1) / Rational(1073741789, 1073741827))
+    assert_equal(Rational(1152921430518662348, 1073741789),
+                 Rational(1073741789, 1) + Rational(1073741827, 1073741789))
+    assert_equal(Rational(1152921428371178694, 1073741789),
+                 Rational(1073741789, 1) - Rational(1073741827, 1073741789))
+    assert_equal(Rational(1073741827, 1),
+                 Rational(1073741789, 1) * Rational(1073741827, 1073741789))
+    assert_equal(Rational(1152921429444920521, 1073741827),
+                 Rational(1073741789, 1) / Rational(1073741827, 1073741789))
+    assert_equal(Rational(1073741827, 1), +Rational(1073741827, 1))
+    assert_equal(Rational(-1073741827, 1), -Rational(1073741827, 1))
+    assert_equal(Rational(1073741828, 1),
+                 Rational(1073741827, 1) + Rational(1, 1))
+    assert_equal(Rational(1073741826, 1),
+                 Rational(1073741827, 1) - Rational(1, 1))
+    assert_equal(Rational(1073741827, 1),
+                 Rational(1073741827, 1) * Rational(1, 1))
+    assert_equal(Rational(1073741827, 1),
+                 Rational(1073741827, 1) / Rational(1, 1))
+    assert_equal(Rational(1073741829, 1),
+                 Rational(1073741827, 1) + Rational(2, 1))
+    assert_equal(Rational(1073741825, 1),
+                 Rational(1073741827, 1) - Rational(2, 1))
+    assert_equal(Rational(2147483654, 1),
+                 Rational(1073741827, 1) * Rational(2, 1))
+    assert_equal(Rational(1073741827, 2),
+                 Rational(1073741827, 1) / Rational(2, 1))
+    assert_equal(Rational(1073741830, 1),
+                 Rational(1073741827, 1) + Rational(3, 1))
+    assert_equal(Rational(1073741824, 1),
+                 Rational(1073741827, 1) - Rational(3, 1))
+    assert_equal(Rational(3221225481, 1),
+                 Rational(1073741827, 1) * Rational(3, 1))
+    assert_equal(Rational(1073741827, 3),
+                 Rational(1073741827, 1) / Rational(3, 1))
+    assert_equal(Rational(2147483616, 1),
+                 Rational(1073741827, 1) + Rational(1073741789, 1))
+    assert_equal(Rational(38, 1),
+                 Rational(1073741827, 1) - Rational(1073741789, 1))
+    assert_equal(Rational(1152921470247108503, 1),
+                 Rational(1073741827, 1) * Rational(1073741789, 1))
+    assert_equal(Rational(1073741827, 1073741789),
+                 Rational(1073741827, 1) / Rational(1073741789, 1))
+    assert_equal(Rational(2147483654, 1),
+                 Rational(1073741827, 1) + Rational(1073741827, 1))
+    assert_equal(Rational(0, 1),
+                 Rational(1073741827, 1) - Rational(1073741827, 1))
+    assert_equal(Rational(1152921511049297929, 1),
+                 Rational(1073741827, 1) * Rational(1073741827, 1))
+    assert_equal(Rational(1, 1),
+                 Rational(1073741827, 1) / Rational(1073741827, 1))
+    assert_equal(Rational(3221225483, 3),
+                 Rational(1073741827, 1) + Rational(2, 3))
+    assert_equal(Rational(3221225479, 3),
+                 Rational(1073741827, 1) - Rational(2, 3))
+    assert_equal(Rational(2147483654, 3),
+                 Rational(1073741827, 1) * Rational(2, 3))
+    assert_equal(Rational(3221225481, 2),
+                 Rational(1073741827, 1) / Rational(2, 3))
+    assert_equal(Rational(2147483657, 2),
+                 Rational(1073741827, 1) + Rational(3, 2))
+    assert_equal(Rational(2147483651, 2),
+                 Rational(1073741827, 1) - Rational(3, 2))
+    assert_equal(Rational(3221225481, 2),
+                 Rational(1073741827, 1) * Rational(3, 2))
+    assert_equal(Rational(2147483654, 3),
+                 Rational(1073741827, 1) / Rational(3, 2))
+    assert_equal(Rational(1152921470247108506, 1073741789),
+                 Rational(1073741827, 1) + Rational(3, 1073741789))
+    assert_equal(Rational(1152921470247108500, 1073741789),
+                 Rational(1073741827, 1) - Rational(3, 1073741789))
+    assert_equal(Rational(3221225481, 1073741789),
+                 Rational(1073741827, 1) * Rational(3, 1073741789))
+    assert_equal(Rational(1152921470247108503, 3),
+                 Rational(1073741827, 1) / Rational(3, 1073741789))
+    assert_equal(Rational(4294967270, 3),
+                 Rational(1073741827, 1) + Rational(1073741789, 3))
+    assert_equal(Rational(2147483692, 3),
+                 Rational(1073741827, 1) - Rational(1073741789, 3))
+    assert_equal(Rational(1152921470247108503, 3),
+                 Rational(1073741827, 1) * Rational(1073741789, 3))
+    assert_equal(Rational(3221225481, 1073741789),
+                 Rational(1073741827, 1) / Rational(1073741789, 3))
+    assert_equal(Rational(1152921511049297932, 1073741827),
+                 Rational(1073741827, 1) + Rational(3, 1073741827))
+    assert_equal(Rational(1152921511049297926, 1073741827),
+                 Rational(1073741827, 1) - Rational(3, 1073741827))
+    assert_equal(Rational(3, 1),
+                 Rational(1073741827, 1) * Rational(3, 1073741827))
+    assert_equal(Rational(1152921511049297929, 3),
+                 Rational(1073741827, 1) / Rational(3, 1073741827))
+    assert_equal(Rational(4294967308, 3),
+                 Rational(1073741827, 1) + Rational(1073741827, 3))
+    assert_equal(Rational(2147483654, 3),
+                 Rational(1073741827, 1) - Rational(1073741827, 3))
+    assert_equal(Rational(1152921511049297929, 3),
+                 Rational(1073741827, 1) * Rational(1073741827, 3))
+    assert_equal(Rational(3, 1),
+                 Rational(1073741827, 1) / Rational(1073741827, 3))
+    assert_equal(Rational(1152921512123039718, 1073741827),
+                 Rational(1073741827, 1) + Rational(1073741789, 1073741827))
+    assert_equal(Rational(1152921509975556140, 1073741827),
+                 Rational(1073741827, 1) - Rational(1073741789, 1073741827))
+    assert_equal(Rational(1073741789, 1),
+                 Rational(1073741827, 1) * Rational(1073741789, 1073741827))
+    assert_equal(Rational(1152921511049297929, 1073741789),
+                 Rational(1073741827, 1) / Rational(1073741789, 1073741827))
+    assert_equal(Rational(1152921471320850330, 1073741789),
+                 Rational(1073741827, 1) + Rational(1073741827, 1073741789))
+    assert_equal(Rational(1152921469173366676, 1073741789),
+                 Rational(1073741827, 1) - Rational(1073741827, 1073741789))
+    assert_equal(Rational(1152921511049297929, 1073741789),
+                 Rational(1073741827, 1) * Rational(1073741827, 1073741789))
+    assert_equal(Rational(1073741789, 1),
+                 Rational(1073741827, 1) / Rational(1073741827, 1073741789))
+    assert_equal(Rational(2, 3), +Rational(2, 3))
+    assert_equal(Rational(-2, 3), -Rational(2, 3))
+    assert_equal(Rational(5, 3),
+                 Rational(2, 3) + Rational(1, 1))
+    assert_equal(Rational(-1, 3),
+                 Rational(2, 3) - Rational(1, 1))
+    assert_equal(Rational(2, 3),
+                 Rational(2, 3) * Rational(1, 1))
+    assert_equal(Rational(2, 3),
+                 Rational(2, 3) / Rational(1, 1))
+    assert_equal(Rational(8, 3),
+                 Rational(2, 3) + Rational(2, 1))
+    assert_equal(Rational(-4, 3),
+                 Rational(2, 3) - Rational(2, 1))
+    assert_equal(Rational(4, 3),
+                 Rational(2, 3) * Rational(2, 1))
+    assert_equal(Rational(1, 3),
+                 Rational(2, 3) / Rational(2, 1))
+    assert_equal(Rational(11, 3),
+                 Rational(2, 3) + Rational(3, 1))
+    assert_equal(Rational(-7, 3),
+                 Rational(2, 3) - Rational(3, 1))
+    assert_equal(Rational(2, 1),
+                 Rational(2, 3) * Rational(3, 1))
+    assert_equal(Rational(2, 9),
+                 Rational(2, 3) / Rational(3, 1))
+    assert_equal(Rational(3221225369, 3),
+                 Rational(2, 3) + Rational(1073741789, 1))
+    assert_equal(Rational(-3221225365, 3),
+                 Rational(2, 3) - Rational(1073741789, 1))
+    assert_equal(Rational(2147483578, 3),
+                 Rational(2, 3) * Rational(1073741789, 1))
+    assert_equal(Rational(2, 3221225367),
+                 Rational(2, 3) / Rational(1073741789, 1))
+    assert_equal(Rational(3221225483, 3),
+                 Rational(2, 3) + Rational(1073741827, 1))
+    assert_equal(Rational(-3221225479, 3),
+                 Rational(2, 3) - Rational(1073741827, 1))
+    assert_equal(Rational(2147483654, 3),
+                 Rational(2, 3) * Rational(1073741827, 1))
+    assert_equal(Rational(2, 3221225481),
+                 Rational(2, 3) / Rational(1073741827, 1))
+    assert_equal(Rational(4, 3),
+                 Rational(2, 3) + Rational(2, 3))
+    assert_equal(Rational(0, 1),
+                 Rational(2, 3) - Rational(2, 3))
+    assert_equal(Rational(4, 9),
+                 Rational(2, 3) * Rational(2, 3))
+    assert_equal(Rational(1, 1),
+                 Rational(2, 3) / Rational(2, 3))
+    assert_equal(Rational(13, 6),
+                 Rational(2, 3) + Rational(3, 2))
+    assert_equal(Rational(-5, 6),
+                 Rational(2, 3) - Rational(3, 2))
+    assert_equal(Rational(1, 1),
+                 Rational(2, 3) * Rational(3, 2))
+    assert_equal(Rational(4, 9),
+                 Rational(2, 3) / Rational(3, 2))
+    assert_equal(Rational(2147483587, 3221225367),
+                 Rational(2, 3) + Rational(3, 1073741789))
+    assert_equal(Rational(2147483569, 3221225367),
+                 Rational(2, 3) - Rational(3, 1073741789))
+    assert_equal(Rational(2, 1073741789),
+                 Rational(2, 3) * Rational(3, 1073741789))
+    assert_equal(Rational(2147483578, 9),
+                 Rational(2, 3) / Rational(3, 1073741789))
+    assert_equal(Rational(1073741791, 3),
+                 Rational(2, 3) + Rational(1073741789, 3))
+    assert_equal(Rational(-357913929, 1),
+                 Rational(2, 3) - Rational(1073741789, 3))
+    assert_equal(Rational(2147483578, 9),
+                 Rational(2, 3) * Rational(1073741789, 3))
+    assert_equal(Rational(2, 1073741789),
+                 Rational(2, 3) / Rational(1073741789, 3))
+    assert_equal(Rational(2147483663, 3221225481),
+                 Rational(2, 3) + Rational(3, 1073741827))
+    assert_equal(Rational(2147483645, 3221225481),
+                 Rational(2, 3) - Rational(3, 1073741827))
+    assert_equal(Rational(2, 1073741827),
+                 Rational(2, 3) * Rational(3, 1073741827))
+    assert_equal(Rational(2147483654, 9),
+                 Rational(2, 3) / Rational(3, 1073741827))
+    assert_equal(Rational(357913943, 1),
+                 Rational(2, 3) + Rational(1073741827, 3))
+    assert_equal(Rational(-1073741825, 3),
+                 Rational(2, 3) - Rational(1073741827, 3))
+    assert_equal(Rational(2147483654, 9),
+                 Rational(2, 3) * Rational(1073741827, 3))
+    assert_equal(Rational(2, 1073741827),
+                 Rational(2, 3) / Rational(1073741827, 3))
+    assert_equal(Rational(5368709021, 3221225481),
+                 Rational(2, 3) + Rational(1073741789, 1073741827))
+    assert_equal(Rational(-1073741713, 3221225481),
+                 Rational(2, 3) - Rational(1073741789, 1073741827))
+    assert_equal(Rational(2147483578, 3221225481),
+                 Rational(2, 3) * Rational(1073741789, 1073741827))
+    assert_equal(Rational(2147483654, 3221225367),
+                 Rational(2, 3) / Rational(1073741789, 1073741827))
+    assert_equal(Rational(5368709059, 3221225367),
+                 Rational(2, 3) + Rational(1073741827, 1073741789))
+    assert_equal(Rational(-1073741903, 3221225367),
+                 Rational(2, 3) - Rational(1073741827, 1073741789))
+    assert_equal(Rational(2147483654, 3221225367),
+                 Rational(2, 3) * Rational(1073741827, 1073741789))
+    assert_equal(Rational(2147483578, 3221225481),
+                 Rational(2, 3) / Rational(1073741827, 1073741789))
+    assert_equal(Rational(3, 2), +Rational(3, 2))
+    assert_equal(Rational(-3, 2), -Rational(3, 2))
+    assert_equal(Rational(5, 2),
+                 Rational(3, 2) + Rational(1, 1))
+    assert_equal(Rational(1, 2),
+                 Rational(3, 2) - Rational(1, 1))
+    assert_equal(Rational(3, 2),
+                 Rational(3, 2) * Rational(1, 1))
+    assert_equal(Rational(3, 2),
+                 Rational(3, 2) / Rational(1, 1))
+    assert_equal(Rational(7, 2),
+                 Rational(3, 2) + Rational(2, 1))
+    assert_equal(Rational(-1, 2),
+                 Rational(3, 2) - Rational(2, 1))
+    assert_equal(Rational(3, 1),
+                 Rational(3, 2) * Rational(2, 1))
+    assert_equal(Rational(3, 4),
+                 Rational(3, 2) / Rational(2, 1))
+    assert_equal(Rational(9, 2),
+                 Rational(3, 2) + Rational(3, 1))
+    assert_equal(Rational(-3, 2),
+                 Rational(3, 2) - Rational(3, 1))
+    assert_equal(Rational(9, 2),
+                 Rational(3, 2) * Rational(3, 1))
+    assert_equal(Rational(1, 2),
+                 Rational(3, 2) / Rational(3, 1))
+    assert_equal(Rational(2147483581, 2),
+                 Rational(3, 2) + Rational(1073741789, 1))
+    assert_equal(Rational(-2147483575, 2),
+                 Rational(3, 2) - Rational(1073741789, 1))
+    assert_equal(Rational(3221225367, 2),
+                 Rational(3, 2) * Rational(1073741789, 1))
+    assert_equal(Rational(3, 2147483578),
+                 Rational(3, 2) / Rational(1073741789, 1))
+    assert_equal(Rational(2147483657, 2),
+                 Rational(3, 2) + Rational(1073741827, 1))
+    assert_equal(Rational(-2147483651, 2),
+                 Rational(3, 2) - Rational(1073741827, 1))
+    assert_equal(Rational(3221225481, 2),
+                 Rational(3, 2) * Rational(1073741827, 1))
+    assert_equal(Rational(3, 2147483654),
+                 Rational(3, 2) / Rational(1073741827, 1))
+    assert_equal(Rational(13, 6),
+                 Rational(3, 2) + Rational(2, 3))
+    assert_equal(Rational(5, 6),
+                 Rational(3, 2) - Rational(2, 3))
+    assert_equal(Rational(1, 1),
+                 Rational(3, 2) * Rational(2, 3))
+    assert_equal(Rational(9, 4),
+                 Rational(3, 2) / Rational(2, 3))
+    assert_equal(Rational(3, 1),
+                 Rational(3, 2) + Rational(3, 2))
+    assert_equal(Rational(0, 1),
+                 Rational(3, 2) - Rational(3, 2))
+    assert_equal(Rational(9, 4),
+                 Rational(3, 2) * Rational(3, 2))
+    assert_equal(Rational(1, 1),
+                 Rational(3, 2) / Rational(3, 2))
+    assert_equal(Rational(3221225373, 2147483578),
+                 Rational(3, 2) + Rational(3, 1073741789))
+    assert_equal(Rational(3221225361, 2147483578),
+                 Rational(3, 2) - Rational(3, 1073741789))
+    assert_equal(Rational(9, 2147483578),
+                 Rational(3, 2) * Rational(3, 1073741789))
+    assert_equal(Rational(1073741789, 2),
+                 Rational(3, 2) / Rational(3, 1073741789))
+    assert_equal(Rational(2147483587, 6),
+                 Rational(3, 2) + Rational(1073741789, 3))
+    assert_equal(Rational(-2147483569, 6),
+                 Rational(3, 2) - Rational(1073741789, 3))
+    assert_equal(Rational(1073741789, 2),
+                 Rational(3, 2) * Rational(1073741789, 3))
+    assert_equal(Rational(9, 2147483578),
+                 Rational(3, 2) / Rational(1073741789, 3))
+    assert_equal(Rational(3221225487, 2147483654),
+                 Rational(3, 2) + Rational(3, 1073741827))
+    assert_equal(Rational(3221225475, 2147483654),
+                 Rational(3, 2) - Rational(3, 1073741827))
+    assert_equal(Rational(9, 2147483654),
+                 Rational(3, 2) * Rational(3, 1073741827))
+    assert_equal(Rational(1073741827, 2),
+                 Rational(3, 2) / Rational(3, 1073741827))
+    assert_equal(Rational(2147483663, 6),
+                 Rational(3, 2) + Rational(1073741827, 3))
+    assert_equal(Rational(-2147483645, 6),
+                 Rational(3, 2) - Rational(1073741827, 3))
+    assert_equal(Rational(1073741827, 2),
+                 Rational(3, 2) * Rational(1073741827, 3))
+    assert_equal(Rational(9, 2147483654),
+                 Rational(3, 2) / Rational(1073741827, 3))
+    assert_equal(Rational(5368709059, 2147483654),
+                 Rational(3, 2) + Rational(1073741789, 1073741827))
+    assert_equal(Rational(1073741903, 2147483654),
+                 Rational(3, 2) - Rational(1073741789, 1073741827))
+    assert_equal(Rational(3221225367, 2147483654),
+                 Rational(3, 2) * Rational(1073741789, 1073741827))
+    assert_equal(Rational(3221225481, 2147483578),
+                 Rational(3, 2) / Rational(1073741789, 1073741827))
+    assert_equal(Rational(5368709021, 2147483578),
+                 Rational(3, 2) + Rational(1073741827, 1073741789))
+    assert_equal(Rational(1073741713, 2147483578),
+                 Rational(3, 2) - Rational(1073741827, 1073741789))
+    assert_equal(Rational(3221225481, 2147483578),
+                 Rational(3, 2) * Rational(1073741827, 1073741789))
+    assert_equal(Rational(3221225367, 2147483654),
+                 Rational(3, 2) / Rational(1073741827, 1073741789))
+    assert_equal(Rational(3, 1073741789), +Rational(3, 1073741789))
+    assert_equal(Rational(-3, 1073741789), -Rational(3, 1073741789))
+    assert_equal(Rational(1073741792, 1073741789),
+                 Rational(3, 1073741789) + Rational(1, 1))
+    assert_equal(Rational(-1073741786, 1073741789),
+                 Rational(3, 1073741789) - Rational(1, 1))
+    assert_equal(Rational(3, 1073741789),
+                 Rational(3, 1073741789) * Rational(1, 1))
+    assert_equal(Rational(3, 1073741789),
+                 Rational(3, 1073741789) / Rational(1, 1))
+    assert_equal(Rational(2147483581, 1073741789),
+                 Rational(3, 1073741789) + Rational(2, 1))
+    assert_equal(Rational(-2147483575, 1073741789),
+                 Rational(3, 1073741789) - Rational(2, 1))
+    assert_equal(Rational(6, 1073741789),
+                 Rational(3, 1073741789) * Rational(2, 1))
+    assert_equal(Rational(3, 2147483578),
+                 Rational(3, 1073741789) / Rational(2, 1))
+    assert_equal(Rational(3221225370, 1073741789),
+                 Rational(3, 1073741789) + Rational(3, 1))
+    assert_equal(Rational(-3221225364, 1073741789),
+                 Rational(3, 1073741789) - Rational(3, 1))
+    assert_equal(Rational(9, 1073741789),
+                 Rational(3, 1073741789) * Rational(3, 1))
+    assert_equal(Rational(1, 1073741789),
+                 Rational(3, 1073741789) / Rational(3, 1))
+    assert_equal(Rational(1152921429444920524, 1073741789),
+                 Rational(3, 1073741789) + Rational(1073741789, 1))
+    assert_equal(Rational(-1152921429444920518, 1073741789),
+                 Rational(3, 1073741789) - Rational(1073741789, 1))
+    assert_equal(Rational(3, 1),
+                 Rational(3, 1073741789) * Rational(1073741789, 1))
+    assert_equal(Rational(3, 1152921429444920521),
+                 Rational(3, 1073741789) / Rational(1073741789, 1))
+    assert_equal(Rational(1152921470247108506, 1073741789),
+                 Rational(3, 1073741789) + Rational(1073741827, 1))
+    assert_equal(Rational(-1152921470247108500, 1073741789),
+                 Rational(3, 1073741789) - Rational(1073741827, 1))
+    assert_equal(Rational(3221225481, 1073741789),
+                 Rational(3, 1073741789) * Rational(1073741827, 1))
+    assert_equal(Rational(3, 1152921470247108503),
+                 Rational(3, 1073741789) / Rational(1073741827, 1))
+    assert_equal(Rational(2147483587, 3221225367),
+                 Rational(3, 1073741789) + Rational(2, 3))
+    assert_equal(Rational(-2147483569, 3221225367),
+                 Rational(3, 1073741789) - Rational(2, 3))
+    assert_equal(Rational(2, 1073741789),
+                 Rational(3, 1073741789) * Rational(2, 3))
+    assert_equal(Rational(9, 2147483578),
+                 Rational(3, 1073741789) / Rational(2, 3))
+    assert_equal(Rational(3221225373, 2147483578),
+                 Rational(3, 1073741789) + Rational(3, 2))
+    assert_equal(Rational(-3221225361, 2147483578),
+                 Rational(3, 1073741789) - Rational(3, 2))
+    assert_equal(Rational(9, 2147483578),
+                 Rational(3, 1073741789) * Rational(3, 2))
+    assert_equal(Rational(2, 1073741789),
+                 Rational(3, 1073741789) / Rational(3, 2))
+    assert_equal(Rational(6, 1073741789),
+                 Rational(3, 1073741789) + Rational(3, 1073741789))
+    assert_equal(Rational(0, 1),
+                 Rational(3, 1073741789) - Rational(3, 1073741789))
+    assert_equal(Rational(9, 1152921429444920521),
+                 Rational(3, 1073741789) * Rational(3, 1073741789))
+    assert_equal(Rational(1, 1),
+                 Rational(3, 1073741789) / Rational(3, 1073741789))
+    assert_equal(Rational(1152921429444920530, 3221225367),
+                 Rational(3, 1073741789) + Rational(1073741789, 3))
+    assert_equal(Rational(-1152921429444920512, 3221225367),
+                 Rational(3, 1073741789) - Rational(1073741789, 3))
+    assert_equal(Rational(1, 1),
+                 Rational(3, 1073741789) * Rational(1073741789, 3))
+    assert_equal(Rational(9, 1152921429444920521),
+                 Rational(3, 1073741789) / Rational(1073741789, 3))
+    assert_equal(Rational(6442450848, 1152921470247108503),
+                 Rational(3, 1073741789) + Rational(3, 1073741827))
+    assert_equal(Rational(114, 1152921470247108503),
+                 Rational(3, 1073741789) - Rational(3, 1073741827))
+    assert_equal(Rational(9, 1152921470247108503),
+                 Rational(3, 1073741789) * Rational(3, 1073741827))
+    assert_equal(Rational(1073741827, 1073741789),
+                 Rational(3, 1073741789) / Rational(3, 1073741827))
+    assert_equal(Rational(1152921470247108512, 3221225367),
+                 Rational(3, 1073741789) + Rational(1073741827, 3))
+    assert_equal(Rational(-1152921470247108494, 3221225367),
+                 Rational(3, 1073741789) - Rational(1073741827, 3))
+    assert_equal(Rational(1073741827, 1073741789),
+                 Rational(3, 1073741789) * Rational(1073741827, 3))
+    assert_equal(Rational(9, 1152921470247108503),
+                 Rational(3, 1073741789) / Rational(1073741827, 3))
+    assert_equal(Rational(1152921432666146002, 1152921470247108503),
+                 Rational(3, 1073741789) + Rational(1073741789, 1073741827))
+    assert_equal(Rational(-1152921426223695040, 1152921470247108503),
+                 Rational(3, 1073741789) - Rational(1073741789, 1073741827))
+    assert_equal(Rational(3, 1073741827),
+                 Rational(3, 1073741789) * Rational(1073741789, 1073741827))
+    assert_equal(Rational(3221225481, 1152921429444920521),
+                 Rational(3, 1073741789) / Rational(1073741789, 1073741827))
+    assert_equal(Rational(1073741830, 1073741789),
+                 Rational(3, 1073741789) + Rational(1073741827, 1073741789))
+    assert_equal(Rational(-1073741824, 1073741789),
+                 Rational(3, 1073741789) - Rational(1073741827, 1073741789))
+    assert_equal(Rational(3221225481, 1152921429444920521),
+                 Rational(3, 1073741789) * Rational(1073741827, 1073741789))
+    assert_equal(Rational(3, 1073741827),
+                 Rational(3, 1073741789) / Rational(1073741827, 1073741789))
+    assert_equal(Rational(1073741789, 3), +Rational(1073741789, 3))
+    assert_equal(Rational(-1073741789, 3), -Rational(1073741789, 3))
+    assert_equal(Rational(1073741792, 3),
+                 Rational(1073741789, 3) + Rational(1, 1))
+    assert_equal(Rational(1073741786, 3),
+                 Rational(1073741789, 3) - Rational(1, 1))
+    assert_equal(Rational(1073741789, 3),
+                 Rational(1073741789, 3) * Rational(1, 1))
+    assert_equal(Rational(1073741789, 3),
+                 Rational(1073741789, 3) / Rational(1, 1))
+    assert_equal(Rational(1073741795, 3),
+                 Rational(1073741789, 3) + Rational(2, 1))
+    assert_equal(Rational(1073741783, 3),
+                 Rational(1073741789, 3) - Rational(2, 1))
+    assert_equal(Rational(2147483578, 3),
+                 Rational(1073741789, 3) * Rational(2, 1))
+    assert_equal(Rational(1073741789, 6),
+                 Rational(1073741789, 3) / Rational(2, 1))
+    assert_equal(Rational(1073741798, 3),
+                 Rational(1073741789, 3) + Rational(3, 1))
+    assert_equal(Rational(1073741780, 3),
+                 Rational(1073741789, 3) - Rational(3, 1))
+    assert_equal(Rational(1073741789, 1),
+                 Rational(1073741789, 3) * Rational(3, 1))
+    assert_equal(Rational(1073741789, 9),
+                 Rational(1073741789, 3) / Rational(3, 1))
+    assert_equal(Rational(4294967156, 3),
+                 Rational(1073741789, 3) + Rational(1073741789, 1))
+    assert_equal(Rational(-2147483578, 3),
+                 Rational(1073741789, 3) - Rational(1073741789, 1))
+    assert_equal(Rational(1152921429444920521, 3),
+                 Rational(1073741789, 3) * Rational(1073741789, 1))
+    assert_equal(Rational(1, 3),
+                 Rational(1073741789, 3) / Rational(1073741789, 1))
+    assert_equal(Rational(4294967270, 3),
+                 Rational(1073741789, 3) + Rational(1073741827, 1))
+    assert_equal(Rational(-2147483692, 3),
+                 Rational(1073741789, 3) - Rational(1073741827, 1))
+    assert_equal(Rational(1152921470247108503, 3),
+                 Rational(1073741789, 3) * Rational(1073741827, 1))
+    assert_equal(Rational(1073741789, 3221225481),
+                 Rational(1073741789, 3) / Rational(1073741827, 1))
+    assert_equal(Rational(1073741791, 3),
+                 Rational(1073741789, 3) + Rational(2, 3))
+    assert_equal(Rational(357913929, 1),
+                 Rational(1073741789, 3) - Rational(2, 3))
+    assert_equal(Rational(2147483578, 9),
+                 Rational(1073741789, 3) * Rational(2, 3))
+    assert_equal(Rational(1073741789, 2),
+                 Rational(1073741789, 3) / Rational(2, 3))
+    assert_equal(Rational(2147483587, 6),
+                 Rational(1073741789, 3) + Rational(3, 2))
+    assert_equal(Rational(2147483569, 6),
+                 Rational(1073741789, 3) - Rational(3, 2))
+    assert_equal(Rational(1073741789, 2),
+                 Rational(1073741789, 3) * Rational(3, 2))
+    assert_equal(Rational(2147483578, 9),
+                 Rational(1073741789, 3) / Rational(3, 2))
+    assert_equal(Rational(1152921429444920530, 3221225367),
+                 Rational(1073741789, 3) + Rational(3, 1073741789))
+    assert_equal(Rational(1152921429444920512, 3221225367),
+                 Rational(1073741789, 3) - Rational(3, 1073741789))
+    assert_equal(Rational(1, 1),
+                 Rational(1073741789, 3) * Rational(3, 1073741789))
+    assert_equal(Rational(1152921429444920521, 9),
+                 Rational(1073741789, 3) / Rational(3, 1073741789))
+    assert_equal(Rational(2147483578, 3),
+                 Rational(1073741789, 3) + Rational(1073741789, 3))
+    assert_equal(Rational(0, 1),
+                 Rational(1073741789, 3) - Rational(1073741789, 3))
+    assert_equal(Rational(1152921429444920521, 9),
+                 Rational(1073741789, 3) * Rational(1073741789, 3))
+    assert_equal(Rational(1, 1),
+                 Rational(1073741789, 3) / Rational(1073741789, 3))
+    assert_equal(Rational(1152921470247108512, 3221225481),
+                 Rational(1073741789, 3) + Rational(3, 1073741827))
+    assert_equal(Rational(1152921470247108494, 3221225481),
+                 Rational(1073741789, 3) - Rational(3, 1073741827))
+    assert_equal(Rational(1073741789, 1073741827),
+                 Rational(1073741789, 3) * Rational(3, 1073741827))
+    assert_equal(Rational(1152921470247108503, 9),
+                 Rational(1073741789, 3) / Rational(3, 1073741827))
+    assert_equal(Rational(715827872, 1),
+                 Rational(1073741789, 3) + Rational(1073741827, 3))
+    assert_equal(Rational(-38, 3),
+                 Rational(1073741789, 3) - Rational(1073741827, 3))
+    assert_equal(Rational(1152921470247108503, 9),
+                 Rational(1073741789, 3) * Rational(1073741827, 3))
+    assert_equal(Rational(1073741789, 1073741827),
+                 Rational(1073741789, 3) / Rational(1073741827, 3))
+    assert_equal(Rational(1152921473468333870, 3221225481),
+                 Rational(1073741789, 3) + Rational(1073741789, 1073741827))
+    assert_equal(Rational(1152921467025883136, 3221225481),
+                 Rational(1073741789, 3) - Rational(1073741789, 1073741827))
+    assert_equal(Rational(1152921429444920521, 3221225481),
+                 Rational(1073741789, 3) * Rational(1073741789, 1073741827))
+    assert_equal(Rational(1073741827, 3),
+                 Rational(1073741789, 3) / Rational(1073741789, 1073741827))
+    assert_equal(Rational(1152921432666146002, 3221225367),
+                 Rational(1073741789, 3) + Rational(1073741827, 1073741789))
+    assert_equal(Rational(1152921426223695040, 3221225367),
+                 Rational(1073741789, 3) - Rational(1073741827, 1073741789))
+    assert_equal(Rational(1073741827, 3),
+                 Rational(1073741789, 3) * Rational(1073741827, 1073741789))
+    assert_equal(Rational(1152921429444920521, 3221225481),
+                 Rational(1073741789, 3) / Rational(1073741827, 1073741789))
+    assert_equal(Rational(3, 1073741827), +Rational(3, 1073741827))
+    assert_equal(Rational(-3, 1073741827), -Rational(3, 1073741827))
+    assert_equal(Rational(1073741830, 1073741827),
+                 Rational(3, 1073741827) + Rational(1, 1))
+    assert_equal(Rational(-1073741824, 1073741827),
+                 Rational(3, 1073741827) - Rational(1, 1))
+    assert_equal(Rational(3, 1073741827),
+                 Rational(3, 1073741827) * Rational(1, 1))
+    assert_equal(Rational(3, 1073741827),
+                 Rational(3, 1073741827) / Rational(1, 1))
+    assert_equal(Rational(2147483657, 1073741827),
+                 Rational(3, 1073741827) + Rational(2, 1))
+    assert_equal(Rational(-2147483651, 1073741827),
+                 Rational(3, 1073741827) - Rational(2, 1))
+    assert_equal(Rational(6, 1073741827),
+                 Rational(3, 1073741827) * Rational(2, 1))
+    assert_equal(Rational(3, 2147483654),
+                 Rational(3, 1073741827) / Rational(2, 1))
+    assert_equal(Rational(3221225484, 1073741827),
+                 Rational(3, 1073741827) + Rational(3, 1))
+    assert_equal(Rational(-3221225478, 1073741827),
+                 Rational(3, 1073741827) - Rational(3, 1))
+    assert_equal(Rational(9, 1073741827),
+                 Rational(3, 1073741827) * Rational(3, 1))
+    assert_equal(Rational(1, 1073741827),
+                 Rational(3, 1073741827) / Rational(3, 1))
+    assert_equal(Rational(1152921470247108506, 1073741827),
+                 Rational(3, 1073741827) + Rational(1073741789, 1))
+    assert_equal(Rational(-1152921470247108500, 1073741827),
+                 Rational(3, 1073741827) - Rational(1073741789, 1))
+    assert_equal(Rational(3221225367, 1073741827),
+                 Rational(3, 1073741827) * Rational(1073741789, 1))
+    assert_equal(Rational(3, 1152921470247108503),
+                 Rational(3, 1073741827) / Rational(1073741789, 1))
+    assert_equal(Rational(1152921511049297932, 1073741827),
+                 Rational(3, 1073741827) + Rational(1073741827, 1))
+    assert_equal(Rational(-1152921511049297926, 1073741827),
+                 Rational(3, 1073741827) - Rational(1073741827, 1))
+    assert_equal(Rational(3, 1),
+                 Rational(3, 1073741827) * Rational(1073741827, 1))
+    assert_equal(Rational(3, 1152921511049297929),
+                 Rational(3, 1073741827) / Rational(1073741827, 1))
+    assert_equal(Rational(2147483663, 3221225481),
+                 Rational(3, 1073741827) + Rational(2, 3))
+    assert_equal(Rational(-2147483645, 3221225481),
+                 Rational(3, 1073741827) - Rational(2, 3))
+    assert_equal(Rational(2, 1073741827),
+                 Rational(3, 1073741827) * Rational(2, 3))
+    assert_equal(Rational(9, 2147483654),
+                 Rational(3, 1073741827) / Rational(2, 3))
+    assert_equal(Rational(3221225487, 2147483654),
+                 Rational(3, 1073741827) + Rational(3, 2))
+    assert_equal(Rational(-3221225475, 2147483654),
+                 Rational(3, 1073741827) - Rational(3, 2))
+    assert_equal(Rational(9, 2147483654),
+                 Rational(3, 1073741827) * Rational(3, 2))
+    assert_equal(Rational(2, 1073741827),
+                 Rational(3, 1073741827) / Rational(3, 2))
+    assert_equal(Rational(6442450848, 1152921470247108503),
+                 Rational(3, 1073741827) + Rational(3, 1073741789))
+    assert_equal(Rational(-114, 1152921470247108503),
+                 Rational(3, 1073741827) - Rational(3, 1073741789))
+    assert_equal(Rational(9, 1152921470247108503),
+                 Rational(3, 1073741827) * Rational(3, 1073741789))
+    assert_equal(Rational(1073741789, 1073741827),
+                 Rational(3, 1073741827) / Rational(3, 1073741789))
+    assert_equal(Rational(1152921470247108512, 3221225481),
+                 Rational(3, 1073741827) + Rational(1073741789, 3))
+    assert_equal(Rational(-1152921470247108494, 3221225481),
+                 Rational(3, 1073741827) - Rational(1073741789, 3))
+    assert_equal(Rational(1073741789, 1073741827),
+                 Rational(3, 1073741827) * Rational(1073741789, 3))
+    assert_equal(Rational(9, 1152921470247108503),
+                 Rational(3, 1073741827) / Rational(1073741789, 3))
+    assert_equal(Rational(6, 1073741827),
+                 Rational(3, 1073741827) + Rational(3, 1073741827))
+    assert_equal(Rational(0, 1),
+                 Rational(3, 1073741827) - Rational(3, 1073741827))
+    assert_equal(Rational(9, 1152921511049297929),
+                 Rational(3, 1073741827) * Rational(3, 1073741827))
+    assert_equal(Rational(1, 1),
+                 Rational(3, 1073741827) / Rational(3, 1073741827))
+    assert_equal(Rational(1152921511049297938, 3221225481),
+                 Rational(3, 1073741827) + Rational(1073741827, 3))
+    assert_equal(Rational(-1152921511049297920, 3221225481),
+                 Rational(3, 1073741827) - Rational(1073741827, 3))
+    assert_equal(Rational(1, 1),
+                 Rational(3, 1073741827) * Rational(1073741827, 3))
+    assert_equal(Rational(9, 1152921511049297929),
+                 Rational(3, 1073741827) / Rational(1073741827, 3))
+    assert_equal(Rational(1073741792, 1073741827),
+                 Rational(3, 1073741827) + Rational(1073741789, 1073741827))
+    assert_equal(Rational(-1073741786, 1073741827),
+                 Rational(3, 1073741827) - Rational(1073741789, 1073741827))
+    assert_equal(Rational(3221225367, 1152921511049297929),
+                 Rational(3, 1073741827) * Rational(1073741789, 1073741827))
+    assert_equal(Rational(3, 1073741789),
+                 Rational(3, 1073741827) / Rational(1073741789, 1073741827))
+    assert_equal(Rational(1152921514270523296, 1152921470247108503),
+                 Rational(3, 1073741827) + Rational(1073741827, 1073741789))
+    assert_equal(Rational(-1152921507828072562, 1152921470247108503),
+                 Rational(3, 1073741827) - Rational(1073741827, 1073741789))
+    assert_equal(Rational(3, 1073741789),
+                 Rational(3, 1073741827) * Rational(1073741827, 1073741789))
+    assert_equal(Rational(3221225367, 1152921511049297929),
+                 Rational(3, 1073741827) / Rational(1073741827, 1073741789))
+    assert_equal(Rational(1073741827, 3), +Rational(1073741827, 3))
+    assert_equal(Rational(-1073741827, 3), -Rational(1073741827, 3))
+    assert_equal(Rational(1073741830, 3),
+                 Rational(1073741827, 3) + Rational(1, 1))
+    assert_equal(Rational(1073741824, 3),
+                 Rational(1073741827, 3) - Rational(1, 1))
+    assert_equal(Rational(1073741827, 3),
+                 Rational(1073741827, 3) * Rational(1, 1))
+    assert_equal(Rational(1073741827, 3),
+                 Rational(1073741827, 3) / Rational(1, 1))
+    assert_equal(Rational(1073741833, 3),
+                 Rational(1073741827, 3) + Rational(2, 1))
+    assert_equal(Rational(1073741821, 3),
+                 Rational(1073741827, 3) - Rational(2, 1))
+    assert_equal(Rational(2147483654, 3),
+                 Rational(1073741827, 3) * Rational(2, 1))
+    assert_equal(Rational(1073741827, 6),
+                 Rational(1073741827, 3) / Rational(2, 1))
+    assert_equal(Rational(1073741836, 3),
+                 Rational(1073741827, 3) + Rational(3, 1))
+    assert_equal(Rational(1073741818, 3),
+                 Rational(1073741827, 3) - Rational(3, 1))
+    assert_equal(Rational(1073741827, 1),
+                 Rational(1073741827, 3) * Rational(3, 1))
+    assert_equal(Rational(1073741827, 9),
+                 Rational(1073741827, 3) / Rational(3, 1))
+    assert_equal(Rational(4294967194, 3),
+                 Rational(1073741827, 3) + Rational(1073741789, 1))
+    assert_equal(Rational(-2147483540, 3),
+                 Rational(1073741827, 3) - Rational(1073741789, 1))
+    assert_equal(Rational(1152921470247108503, 3),
+                 Rational(1073741827, 3) * Rational(1073741789, 1))
+    assert_equal(Rational(1073741827, 3221225367),
+                 Rational(1073741827, 3) / Rational(1073741789, 1))
+    assert_equal(Rational(4294967308, 3),
+                 Rational(1073741827, 3) + Rational(1073741827, 1))
+    assert_equal(Rational(-2147483654, 3),
+                 Rational(1073741827, 3) - Rational(1073741827, 1))
+    assert_equal(Rational(1152921511049297929, 3),
+                 Rational(1073741827, 3) * Rational(1073741827, 1))
+    assert_equal(Rational(1, 3),
+                 Rational(1073741827, 3) / Rational(1073741827, 1))
+    assert_equal(Rational(357913943, 1),
+                 Rational(1073741827, 3) + Rational(2, 3))
+    assert_equal(Rational(1073741825, 3),
+                 Rational(1073741827, 3) - Rational(2, 3))
+    assert_equal(Rational(2147483654, 9),
+                 Rational(1073741827, 3) * Rational(2, 3))
+    assert_equal(Rational(1073741827, 2),
+                 Rational(1073741827, 3) / Rational(2, 3))
+    assert_equal(Rational(2147483663, 6),
+                 Rational(1073741827, 3) + Rational(3, 2))
+    assert_equal(Rational(2147483645, 6),
+                 Rational(1073741827, 3) - Rational(3, 2))
+    assert_equal(Rational(1073741827, 2),
+                 Rational(1073741827, 3) * Rational(3, 2))
+    assert_equal(Rational(2147483654, 9),
+                 Rational(1073741827, 3) / Rational(3, 2))
+    assert_equal(Rational(1152921470247108512, 3221225367),
+                 Rational(1073741827, 3) + Rational(3, 1073741789))
+    assert_equal(Rational(1152921470247108494, 3221225367),
+                 Rational(1073741827, 3) - Rational(3, 1073741789))
+    assert_equal(Rational(1073741827, 1073741789),
+                 Rational(1073741827, 3) * Rational(3, 1073741789))
+    assert_equal(Rational(1152921470247108503, 9),
+                 Rational(1073741827, 3) / Rational(3, 1073741789))
+    assert_equal(Rational(715827872, 1),
+                 Rational(1073741827, 3) + Rational(1073741789, 3))
+    assert_equal(Rational(38, 3),
+                 Rational(1073741827, 3) - Rational(1073741789, 3))
+    assert_equal(Rational(1152921470247108503, 9),
+                 Rational(1073741827, 3) * Rational(1073741789, 3))
+    assert_equal(Rational(1073741827, 1073741789),
+                 Rational(1073741827, 3) / Rational(1073741789, 3))
+    assert_equal(Rational(1152921511049297938, 3221225481),
+                 Rational(1073741827, 3) + Rational(3, 1073741827))
+    assert_equal(Rational(1152921511049297920, 3221225481),
+                 Rational(1073741827, 3) - Rational(3, 1073741827))
+    assert_equal(Rational(1, 1),
+                 Rational(1073741827, 3) * Rational(3, 1073741827))
+    assert_equal(Rational(1152921511049297929, 9),
+                 Rational(1073741827, 3) / Rational(3, 1073741827))
+    assert_equal(Rational(2147483654, 3),
+                 Rational(1073741827, 3) + Rational(1073741827, 3))
+    assert_equal(Rational(0, 1),
+                 Rational(1073741827, 3) - Rational(1073741827, 3))
+    assert_equal(Rational(1152921511049297929, 9),
+                 Rational(1073741827, 3) * Rational(1073741827, 3))
+    assert_equal(Rational(1, 1),
+                 Rational(1073741827, 3) / Rational(1073741827, 3))
+    assert_equal(Rational(1152921514270523296, 3221225481),
+                 Rational(1073741827, 3) + Rational(1073741789, 1073741827))
+    assert_equal(Rational(1152921507828072562, 3221225481),
+                 Rational(1073741827, 3) - Rational(1073741789, 1073741827))
+    assert_equal(Rational(1073741789, 3),
+                 Rational(1073741827, 3) * Rational(1073741789, 1073741827))
+    assert_equal(Rational(1152921511049297929, 3221225367),
+                 Rational(1073741827, 3) / Rational(1073741789, 1073741827))
+    assert_equal(Rational(1152921473468333984, 3221225367),
+                 Rational(1073741827, 3) + Rational(1073741827, 1073741789))
+    assert_equal(Rational(1152921467025883022, 3221225367),
+                 Rational(1073741827, 3) - Rational(1073741827, 1073741789))
+    assert_equal(Rational(1152921511049297929, 3221225367),
+                 Rational(1073741827, 3) * Rational(1073741827, 1073741789))
+    assert_equal(Rational(1073741789, 3),
+                 Rational(1073741827, 3) / Rational(1073741827, 1073741789))
+    assert_equal(Rational(1073741789, 1073741827), +Rational(1073741789, 1073741827))
+    assert_equal(Rational(-1073741789, 1073741827), -Rational(1073741789, 1073741827))
+    assert_equal(Rational(2147483616, 1073741827),
+                 Rational(1073741789, 1073741827) + Rational(1, 1))
+    assert_equal(Rational(-38, 1073741827),
+                 Rational(1073741789, 1073741827) - Rational(1, 1))
+    assert_equal(Rational(1073741789, 1073741827),
+                 Rational(1073741789, 1073741827) * Rational(1, 1))
+    assert_equal(Rational(1073741789, 1073741827),
+                 Rational(1073741789, 1073741827) / Rational(1, 1))
+    assert_equal(Rational(3221225443, 1073741827),
+                 Rational(1073741789, 1073741827) + Rational(2, 1))
+    assert_equal(Rational(-1073741865, 1073741827),
+                 Rational(1073741789, 1073741827) - Rational(2, 1))
+    assert_equal(Rational(2147483578, 1073741827),
+                 Rational(1073741789, 1073741827) * Rational(2, 1))
+    assert_equal(Rational(1073741789, 2147483654),
+                 Rational(1073741789, 1073741827) / Rational(2, 1))
+    assert_equal(Rational(4294967270, 1073741827),
+                 Rational(1073741789, 1073741827) + Rational(3, 1))
+    assert_equal(Rational(-2147483692, 1073741827),
+                 Rational(1073741789, 1073741827) - Rational(3, 1))
+    assert_equal(Rational(3221225367, 1073741827),
+                 Rational(1073741789, 1073741827) * Rational(3, 1))
+    assert_equal(Rational(1073741789, 3221225481),
+                 Rational(1073741789, 1073741827) / Rational(3, 1))
+    assert_equal(Rational(1152921471320850292, 1073741827),
+                 Rational(1073741789, 1073741827) + Rational(1073741789, 1))
+    assert_equal(Rational(-1152921469173366714, 1073741827),
+                 Rational(1073741789, 1073741827) - Rational(1073741789, 1))
+    assert_equal(Rational(1152921429444920521, 1073741827),
+                 Rational(1073741789, 1073741827) * Rational(1073741789, 1))
+    assert_equal(Rational(1, 1073741827),
+                 Rational(1073741789, 1073741827) / Rational(1073741789, 1))
+    assert_equal(Rational(1152921512123039718, 1073741827),
+                 Rational(1073741789, 1073741827) + Rational(1073741827, 1))
+    assert_equal(Rational(-1152921509975556140, 1073741827),
+                 Rational(1073741789, 1073741827) - Rational(1073741827, 1))
+    assert_equal(Rational(1073741789, 1),
+                 Rational(1073741789, 1073741827) * Rational(1073741827, 1))
+    assert_equal(Rational(1073741789, 1152921511049297929),
+                 Rational(1073741789, 1073741827) / Rational(1073741827, 1))
+    assert_equal(Rational(5368709021, 3221225481),
+                 Rational(1073741789, 1073741827) + Rational(2, 3))
+    assert_equal(Rational(1073741713, 3221225481),
+                 Rational(1073741789, 1073741827) - Rational(2, 3))
+    assert_equal(Rational(2147483578, 3221225481),
+                 Rational(1073741789, 1073741827) * Rational(2, 3))
+    assert_equal(Rational(3221225367, 2147483654),
+                 Rational(1073741789, 1073741827) / Rational(2, 3))
+    assert_equal(Rational(5368709059, 2147483654),
+                 Rational(1073741789, 1073741827) + Rational(3, 2))
+    assert_equal(Rational(-1073741903, 2147483654),
+                 Rational(1073741789, 1073741827) - Rational(3, 2))
+    assert_equal(Rational(3221225367, 2147483654),
+                 Rational(1073741789, 1073741827) * Rational(3, 2))
+    assert_equal(Rational(2147483578, 3221225481),
+                 Rational(1073741789, 1073741827) / Rational(3, 2))
+    assert_equal(Rational(1152921432666146002, 1152921470247108503),
+                 Rational(1073741789, 1073741827) + Rational(3, 1073741789))
+    assert_equal(Rational(1152921426223695040, 1152921470247108503),
+                 Rational(1073741789, 1073741827) - Rational(3, 1073741789))
+    assert_equal(Rational(3, 1073741827),
+                 Rational(1073741789, 1073741827) * Rational(3, 1073741789))
+    assert_equal(Rational(1152921429444920521, 3221225481),
+                 Rational(1073741789, 1073741827) / Rational(3, 1073741789))
+    assert_equal(Rational(1152921473468333870, 3221225481),
+                 Rational(1073741789, 1073741827) + Rational(1073741789, 3))
+    assert_equal(Rational(-1152921467025883136, 3221225481),
+                 Rational(1073741789, 1073741827) - Rational(1073741789, 3))
+    assert_equal(Rational(1152921429444920521, 3221225481),
+                 Rational(1073741789, 1073741827) * Rational(1073741789, 3))
+    assert_equal(Rational(3, 1073741827),
+                 Rational(1073741789, 1073741827) / Rational(1073741789, 3))
+    assert_equal(Rational(1073741792, 1073741827),
+                 Rational(1073741789, 1073741827) + Rational(3, 1073741827))
+    assert_equal(Rational(1073741786, 1073741827),
+                 Rational(1073741789, 1073741827) - Rational(3, 1073741827))
+    assert_equal(Rational(3221225367, 1152921511049297929),
+                 Rational(1073741789, 1073741827) * Rational(3, 1073741827))
+    assert_equal(Rational(1073741789, 3),
+                 Rational(1073741789, 1073741827) / Rational(3, 1073741827))
+    assert_equal(Rational(1152921514270523296, 3221225481),
+                 Rational(1073741789, 1073741827) + Rational(1073741827, 3))
+    assert_equal(Rational(-1152921507828072562, 3221225481),
+                 Rational(1073741789, 1073741827) - Rational(1073741827, 3))
+    assert_equal(Rational(1073741789, 3),
+                 Rational(1073741789, 1073741827) * Rational(1073741827, 3))
+    assert_equal(Rational(3221225367, 1152921511049297929),
+                 Rational(1073741789, 1073741827) / Rational(1073741827, 3))
+    assert_equal(Rational(2147483578, 1073741827),
+                 Rational(1073741789, 1073741827) + Rational(1073741789, 1073741827))
+    assert_equal(Rational(0, 1),
+                 Rational(1073741789, 1073741827) - Rational(1073741789, 1073741827))
+    assert_equal(Rational(1152921429444920521, 1152921511049297929),
+                 Rational(1073741789, 1073741827) * Rational(1073741789, 1073741827))
+    assert_equal(Rational(1, 1),
+                 Rational(1073741789, 1073741827) / Rational(1073741789, 1073741827))
+    assert_equal(Rational(2305842940494218450, 1152921470247108503),
+                 Rational(1073741789, 1073741827) + Rational(1073741827, 1073741789))
+    assert_equal(Rational(-81604377408, 1152921470247108503),
+                 Rational(1073741789, 1073741827) - Rational(1073741827, 1073741789))
+    assert_equal(Rational(1, 1),
+                 Rational(1073741789, 1073741827) * Rational(1073741827, 1073741789))
+    assert_equal(Rational(1152921429444920521, 1152921511049297929),
+                 Rational(1073741789, 1073741827) / Rational(1073741827, 1073741789))
+    assert_equal(Rational(1073741827, 1073741789), +Rational(1073741827, 1073741789))
+    assert_equal(Rational(-1073741827, 1073741789), -Rational(1073741827, 1073741789))
+    assert_equal(Rational(2147483616, 1073741789),
+                 Rational(1073741827, 1073741789) + Rational(1, 1))
+    assert_equal(Rational(38, 1073741789),
+                 Rational(1073741827, 1073741789) - Rational(1, 1))
+    assert_equal(Rational(1073741827, 1073741789),
+                 Rational(1073741827, 1073741789) * Rational(1, 1))
+    assert_equal(Rational(1073741827, 1073741789),
+                 Rational(1073741827, 1073741789) / Rational(1, 1))
+    assert_equal(Rational(3221225405, 1073741789),
+                 Rational(1073741827, 1073741789) + Rational(2, 1))
+    assert_equal(Rational(-1073741751, 1073741789),
+                 Rational(1073741827, 1073741789) - Rational(2, 1))
+    assert_equal(Rational(2147483654, 1073741789),
+                 Rational(1073741827, 1073741789) * Rational(2, 1))
+    assert_equal(Rational(1073741827, 2147483578),
+                 Rational(1073741827, 1073741789) / Rational(2, 1))
+    assert_equal(Rational(4294967194, 1073741789),
+                 Rational(1073741827, 1073741789) + Rational(3, 1))
+    assert_equal(Rational(-2147483540, 1073741789),
+                 Rational(1073741827, 1073741789) - Rational(3, 1))
+    assert_equal(Rational(3221225481, 1073741789),
+                 Rational(1073741827, 1073741789) * Rational(3, 1))
+    assert_equal(Rational(1073741827, 3221225367),
+                 Rational(1073741827, 1073741789) / Rational(3, 1))
+    assert_equal(Rational(1152921430518662348, 1073741789),
+                 Rational(1073741827, 1073741789) + Rational(1073741789, 1))
+    assert_equal(Rational(-1152921428371178694, 1073741789),
+                 Rational(1073741827, 1073741789) - Rational(1073741789, 1))
+    assert_equal(Rational(1073741827, 1),
+                 Rational(1073741827, 1073741789) * Rational(1073741789, 1))
+    assert_equal(Rational(1073741827, 1152921429444920521),
+                 Rational(1073741827, 1073741789) / Rational(1073741789, 1))
+    assert_equal(Rational(1152921471320850330, 1073741789),
+                 Rational(1073741827, 1073741789) + Rational(1073741827, 1))
+    assert_equal(Rational(-1152921469173366676, 1073741789),
+                 Rational(1073741827, 1073741789) - Rational(1073741827, 1))
+    assert_equal(Rational(1152921511049297929, 1073741789),
+                 Rational(1073741827, 1073741789) * Rational(1073741827, 1))
+    assert_equal(Rational(1, 1073741789),
+                 Rational(1073741827, 1073741789) / Rational(1073741827, 1))
+    assert_equal(Rational(5368709059, 3221225367),
+                 Rational(1073741827, 1073741789) + Rational(2, 3))
+    assert_equal(Rational(1073741903, 3221225367),
+                 Rational(1073741827, 1073741789) - Rational(2, 3))
+    assert_equal(Rational(2147483654, 3221225367),
+                 Rational(1073741827, 1073741789) * Rational(2, 3))
+    assert_equal(Rational(3221225481, 2147483578),
+                 Rational(1073741827, 1073741789) / Rational(2, 3))
+    assert_equal(Rational(5368709021, 2147483578),
+                 Rational(1073741827, 1073741789) + Rational(3, 2))
+    assert_equal(Rational(-1073741713, 2147483578),
+                 Rational(1073741827, 1073741789) - Rational(3, 2))
+    assert_equal(Rational(3221225481, 2147483578),
+                 Rational(1073741827, 1073741789) * Rational(3, 2))
+    assert_equal(Rational(2147483654, 3221225367),
+                 Rational(1073741827, 1073741789) / Rational(3, 2))
+    assert_equal(Rational(1073741830, 1073741789),
+                 Rational(1073741827, 1073741789) + Rational(3, 1073741789))
+    assert_equal(Rational(1073741824, 1073741789),
+                 Rational(1073741827, 1073741789) - Rational(3, 1073741789))
+    assert_equal(Rational(3221225481, 1152921429444920521),
+                 Rational(1073741827, 1073741789) * Rational(3, 1073741789))
+    assert_equal(Rational(1073741827, 3),
+                 Rational(1073741827, 1073741789) / Rational(3, 1073741789))
+    assert_equal(Rational(1152921432666146002, 3221225367),
+                 Rational(1073741827, 1073741789) + Rational(1073741789, 3))
+    assert_equal(Rational(-1152921426223695040, 3221225367),
+                 Rational(1073741827, 1073741789) - Rational(1073741789, 3))
+    assert_equal(Rational(1073741827, 3),
+                 Rational(1073741827, 1073741789) * Rational(1073741789, 3))
+    assert_equal(Rational(3221225481, 1152921429444920521),
+                 Rational(1073741827, 1073741789) / Rational(1073741789, 3))
+    assert_equal(Rational(1152921514270523296, 1152921470247108503),
+                 Rational(1073741827, 1073741789) + Rational(3, 1073741827))
+    assert_equal(Rational(1152921507828072562, 1152921470247108503),
+                 Rational(1073741827, 1073741789) - Rational(3, 1073741827))
+    assert_equal(Rational(3, 1073741789),
+                 Rational(1073741827, 1073741789) * Rational(3, 1073741827))
+    assert_equal(Rational(1152921511049297929, 3221225367),
+                 Rational(1073741827, 1073741789) / Rational(3, 1073741827))
+    assert_equal(Rational(1152921473468333984, 3221225367),
+                 Rational(1073741827, 1073741789) + Rational(1073741827, 3))
+    assert_equal(Rational(-1152921467025883022, 3221225367),
+                 Rational(1073741827, 1073741789) - Rational(1073741827, 3))
+    assert_equal(Rational(1152921511049297929, 3221225367),
+                 Rational(1073741827, 1073741789) * Rational(1073741827, 3))
+    assert_equal(Rational(3, 1073741789),
+                 Rational(1073741827, 1073741789) / Rational(1073741827, 3))
+    assert_equal(Rational(2305842940494218450, 1152921470247108503),
+                 Rational(1073741827, 1073741789) + Rational(1073741789, 1073741827))
+    assert_equal(Rational(81604377408, 1152921470247108503),
+                 Rational(1073741827, 1073741789) - Rational(1073741789, 1073741827))
+    assert_equal(Rational(1, 1),
+                 Rational(1073741827, 1073741789) * Rational(1073741789, 1073741827))
+    assert_equal(Rational(1152921511049297929, 1152921429444920521),
+                 Rational(1073741827, 1073741789) / Rational(1073741789, 1073741827))
+    assert_equal(Rational(2147483654, 1073741789),
+                 Rational(1073741827, 1073741789) + Rational(1073741827, 1073741789))
+    assert_equal(Rational(0, 1),
+                 Rational(1073741827, 1073741789) - Rational(1073741827, 1073741789))
+    assert_equal(Rational(1152921511049297929, 1152921429444920521),
+                 Rational(1073741827, 1073741789) * Rational(1073741827, 1073741789))
+    assert_equal(Rational(1, 1),
+                 Rational(1073741827, 1073741789) / Rational(1073741827, 1073741789))
+  end
+
+end