From 6268491168e15c1f286eba412f7bdaedbc78b1ad Mon Sep 17 00:00:00 2001
From: Adam Wick <awick@uhsure.com>
Date: Tue, 1 Jan 2019 20:47:40 -0800
Subject: [PATCH] Extra little conversion check.

---
 src/signed/conversion.rs | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/signed/conversion.rs b/src/signed/conversion.rs
index 7d77af2..1fcd0eb 100644
--- a/src/signed/conversion.rs
+++ b/src/signed/conversion.rs
@@ -64,6 +64,15 @@ macro_rules! generate_sigconversion_tests
                 fn conversion_i32(  x: i32)   -> bool { x == i32::from($sname::from(x))   }
                 fn conversion_i64(  x: i64)   -> bool { x == i64::from($sname::from(x))   }
                 fn conversion_isize(x: isize) -> bool { x == isize::from($sname::from(x)) }
+
+                fn back_conversion(x: u64, b: bool) -> bool
+                {
+                    let mut base = $sname::zero();
+                    let xprime = x & 0x7FFFFFFFFFFFFFFF;
+                    base.negative = b;
+                    base.value.value[0] = xprime;
+                    base == $sname::from(i64::from(&base))
+                }
             }
         }
     }