From 9cdaac0b2b7285f36fdd6eb2d7fea4497ac296f8 Mon Sep 17 00:00:00 2001
From: Steven Love <lovestevend@gmail.com>
Date: Fri, 1 Mar 2024 14:27:13 -0800
Subject: [PATCH] fix: F56::MIN_POSITIVE_SUBNORMAL was accidentally 0 instead
 of 8e-168

---
 vm/src/f56.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vm/src/f56.rs b/vm/src/f56.rs
index c65d3ac9f1..bd33ffd6e1 100644
--- a/vm/src/f56.rs
+++ b/vm/src/f56.rs
@@ -208,7 +208,7 @@ impl F56 {
     // Smallest positive normal F56, roughly 2.98e-154
     pub const MIN_POSITIVE: F56 = F56([0x00, 0b0010_0000, 0x00, 0x00, 0x00, 0x00, 0x00]);
     // Smallest positive subnormal F56, roughly 8.48e-168
-    pub const MIN_POSITIVE_SUBNORMAL: F56 = F56([0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
+    pub const MIN_POSITIVE_SUBNORMAL: F56 = F56([0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01]);
     // Minimum numer of decimal digits of precision (experimentally derived)
     // for comparison, f32 has 6-9 decimal digits of precision and f64 has 15-17. I believe F56 has 12-14
     pub const DIGITS: usize = 12;