From a5e453e4f56facb11a854b80c9b019d9da0e363b Mon Sep 17 00:00:00 2001
From: William Rusnack <williamrusnack@gmail.com>
Date: Mon, 15 Jan 2024 11:54:07 -0500
Subject: [PATCH] removed String usage from the showStandard no precision

---
 Data/ByteString/Builder/RealFloat.hs | 28 +++++++++++++++++++---------
 1 file changed, 19 insertions(+), 9 deletions(-)

diff --git a/Data/ByteString/Builder/RealFloat.hs b/Data/ByteString/Builder/RealFloat.hs
index 6d71b867c..c31a1f06d 100644
--- a/Data/ByteString/Builder/RealFloat.hs
+++ b/Data/ByteString/Builder/RealFloat.hs
@@ -256,19 +256,27 @@ digits w = go [] w
 -- | Show a floating point value in standard notation. Based on GHC.Float.showFloat
 -- TODO: Remove the use of String and lists because it makes this very slow compared
 --       to the actual implementation of the Ryu algorithm.
+-- TODO: The digits should be found with the look up method described in the Ryu
+--       reference algorithm.
 showStandard :: Word64 -> Int -> Maybe Int -> Builder
 showStandard m e prec =
   case prec of
     Nothing
-      | e <= 0 -> char7 '0'
-               `mappend` char7 '.'
-               `mappend` zeros (-e)
-               `mappend` mconcat (digitsToBuilder ds)
-      | otherwise ->
-          let f 0 s     rs = mk0 (reverse s) `mappend` char7 '.' `mappend` mk0 rs
-              f n s     [] = f (n-1) (char7 '0':s) []
-              f n s (r:rs) = f (n-1) (r:s) rs
-           in f e [] (digitsToBuilder ds)
+      | e <= 0
+        -> string7 "0."
+        <> zeros (-e)
+        <> BP.primBounded BP.word64Dec m
+      | e >= olength
+        -> BP.primBounded BP.word64Dec m
+        <> zeros (e - olength)
+        <> string7 ".0"
+      | otherwise -> let
+        wholeDigits = m `div` (10 ^ (olength - e))
+        fractDigits = m `mod` (10 ^ (olength - e))
+        in BP.primBounded BP.word64Dec wholeDigits
+        <> char7 '.'
+        <> zeros (olength - e - R.decimalLength17 fractDigits)
+        <> BP.primBounded BP.word64Dec fractDigits
     Just p
       | e >= 0 ->
           let (ei, is') = roundTo 10 (p' + e) ds
@@ -287,4 +295,6 @@ showStandard m e prec =
     mkDot rs = if null rs then mempty else char7 '.' `mappend` mconcat rs
     ds = digits m
     digitsToBuilder = fmap (char7 . intToDigit)
+
     zeros n = byteString $ BC.take n $ BC.replicate 308 '0'
+    olength = R.decimalLength17 m