add some more addition tests

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/src/bigfloat.rs b/src/bigfloat.rs
index 6965ad5d1e55022f8fd0d116f58afa52d942ad4c..67bba44fdca08181ff6ac71c800d10c7bed2abb5 100644 (file)
--- a/src/bigfloat.rs
+++ b/src/bigfloat.rs
@@ -270,15 +270,15 @@ impl TryFrom<&Mutable> for Bigfloat {
 
 impl Mutable {
   pub fn add(&mut self, rhs: u32) {
-    self.add_to_limb(0, rhs << 16);
+    self.add_to_limb(0, (rhs as LimbVal) << 16);
   }
 
-  fn add_to_limb(&mut self, mut i: isize, mut rhs: u32) {
+  fn add_to_limb(&mut self, mut i: isize, mut rhs: LimbVal) {
     // returns amount by which other indices now need updating
     loop {
       self.extend_so_index_valid(i);
       let nv : u64 = self.limbs[i].into();
-      let nv = nv + (rhs as u64);
+      let nv = nv + rhs;
       if nv < LIMB_MODULUS {
         self.limbs[i] = nv.into();
         return;
@@ -433,5 +433,9 @@ mod test {
       .chk(0x02, "!0000 ffff_fff2_fff0")
       .chk(0x20, "+0000 0000_0012_fff0")
       ;
+    mk("+0000 c123_5678_abc9")
+      .chk(0x071112222, "+0001 0000_0000_0001 3234_789a_abc9")
+      .chk(0x011112222, "+0001 0000_0000_0001 4345_9abc_abc9")
+      ;
   }
 }