diff --git a/CHANGES.md b/CHANGES.md
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,7 +1,18 @@
 * Hackage: <http://hackage.haskell.org/package/crackNum>
 * GitHub:  <http://github.com/LeventErkok/crackNum/>
 
-* Latest Hackage released version: 4.7, 2026-09-04
+* Latest Hackage released version: 4.8, 2026-11-03
+
+### Version 4.8, 2026-11-03
+
+  * Require SBV 14.9 or later, which fixes an extra bit in the displayed layout
+    when encoding a hexadecimal double-precision value. Updated the corresponding
+    golden test to expect the correct 64-bit layout, fixing
+    [#11](https://github.com/LeventErkok/crackNum/issues/11).
+
+  * Fix the macOS GUI build with Command Line Tools using the macOS 27 SDK when
+    the SwiftUI State macro plugin is missing. Explicitly select the existing
+    State property wrapper so no SDK override is needed.
 
 ### Version 4.7, 2026-09-04
 
diff --git a/Golds/encode18.gold b/Golds/encode18.gold
--- a/Golds/encode18.gold
+++ b/Golds/encode18.gold
@@ -2,12 +2,12 @@
 Exit code: ExitSuccess
 Satisfiable. Model:
   ENCODED = 1.1875 :: FloatingPoint 11 53
-                  6     5          4         3         2         1         0
-                  4 32109876543 21098765432109876543210987654321098765432109876543210
-                  S ----E11---- -------------------------S53-------------------------
-   Binary layout: 0 01111111111 00110000000000000000000000000000000000000000000000000
-      Hex layout: 0 7FE6 0000 0000 0000
-       Precision: 11 exponent bits, 53 significand bits
+                  6    5          4         3         2         1         0
+                  3 21098765432 1098765432109876543210987654321098765432109876543210
+                  S ----E11---- ------------------------S52-------------------------
+   Binary layout: 0 01111111111 0011000000000000000000000000000000000000000000000000
+      Hex layout: 3FF3 0000 0000 0000
+       Precision: Double (11 exponent bits, 52 significand bits.)
             Sign: Positive
         Exponent: 0 (Stored: 1023, Bias: 1023)
   Classification: FP_NORMAL
diff --git a/crackNum.cabal b/crackNum.cabal
--- a/crackNum.cabal
+++ b/crackNum.cabal
@@ -1,6 +1,6 @@
 Cabal-version      : 2.4
 Name               : crackNum
-Version            : 4.7
+Version            : 4.8
 Synopsis           : Crack various integer and floating-point data formats
 Description        : Crack IEEE-754 and other float formats and arbitrary sized words and integers, showing the layout.
                      Along with a command-line interface on any platform, native MacOS and Windows GUIs, a Tcl-based Linux GUI, and a browser front-end are available as well:
@@ -35,7 +35,7 @@
    default-language: Haskell2010
    hs-source-dirs  : src
    ghc-options     : -Wall -Wunused-packages
-   build-depends   : base >= 4.11 && < 5, libBF, ghc, sbv >= 11.0
+   build-depends   : base >= 4.11 && < 5, libBF, ghc, sbv >= 14.9
                    , tasty, tasty-golden, tasty-hunit, filepath, directory, process, deepseq
    other-modules   : Paths_crackNum
                    , CrackNum.Types