From 8fdf95296b2e61e483232cbf59eb6c073c8bddd7 Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Fri, 11 Apr 2025 19:24:19 +0100
Subject: [PATCH] Some tests of multiplication.

---
 src/finitenimber.rs | 37 +++++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)

diff --git a/src/finitenimber.rs b/src/finitenimber.rs
index 82a2ec9..5ea19da 100644
--- a/src/finitenimber.rs
+++ b/src/finitenimber.rs
@@ -507,5 +507,42 @@ mod tests {
             FiniteNimber::from(0xd) * FiniteNimber::from(0xb),
             FiniteNimber::from(0x5)
         );
+
+        assert_eq!(
+            FiniteNimber::from(0x123456789abcdef0) * FiniteNimber::from(0x76),
+            FiniteNimber::from(0x84946b8cf1e11ef9)
+        );
+
+        assert_eq!(
+            FiniteNimber(vec![
+                0x3f84d5b5b5470917,
+                0xc0ac29b7c97c50dd,
+                0xbe5466cf34e90c6c,
+                0x452821e638d01377,
+                0x082efa98ec4e6c89,
+                0xa4093822299f31d0,
+                0x13198a2e03707344,
+                0x243f6a8885a308d3,
+            ]) * FiniteNimber(vec![
+                0x4f7c7b5757f59584,
+                0xda06c80abb1185eb,
+                0xf4bf8d8d8c31d763,
+                0x324e7738926cfbe5,
+                0xa784d9045190cfef,
+                0x62e7160f38b4da56,
+                0xbf7158809cf4f3c7,
+                0xb7e151628aed2a6a,
+            ]),
+            FiniteNimber(vec![
+                0x72890f944be121d8,
+                0xe6429b02014feb2e,
+                0x2454070e4408eff8,
+                0x298c025ec5ac4190,
+                0xba6895a109cfcf6d,
+                0xcfb08c013e9dd19c,
+                0x5eeb02eaf7ae9ea0,
+                0x59cbe194a9599171,
+            ])
+        );
     }
 }
-- 
2.30.2