Apply review suggestions

Author: jhrcek

message-index/messages/GHC-97441/example1/before/OverflowedLiterals.hs

@@ -5,11 +5,11 @@ import Data.Word (Word8)
 main :: IO ()
 main = do
     -- Word8 can represent values in range (0,255)
+    -- 258 is 3 larger than maxBound so it will wrap around 0 -> 1 -> 2
     -- prints 2 due to overflow
     print (258 :: Word8)
-    --       ^ value is 3 larger than maxBound so it will wrap around 0 -> 1 -> 2
 
     -- Int can represent values in range (-9223372036854775808,9223372036854775807)
+    -- 9223372036854775817 is 10 larger than maxBound so it will wrap around to negative values
     -- prints -9223372036854775799 due to overflow
     print (9223372036854775817 :: Int)
-    --                      ^ value is 10 larger than maxBound

message-index/messages/GHC-97441/example1/index.md

@@ -1,19 +1,18 @@
 ---
-title: Overflowed Literal
+title: Overflowed Literals
 ---
 
 ## Error Message
 ```
-before/OverflowedLiterals.hs:9:12: warning: [GHC-97441] [-Woverflowed-literals]
+OverflowedLiterals.hs:10:12: warning: [GHC-97441] [-Woverflowed-literals]
     Literal 258 is out of the Word8 range 0..255
-  |
-9 |     print (258 :: Word8)
-  |            ^^^
+   |
+10 |     print (258 :: Word8)
+   |            ^^^
 
-before/OverflowedLiterals.hs:14:12: warning: [GHC-97441] [-Woverflowed-literals]
+OverflowedLiterals.hs:15:12: warning: [GHC-97441] [-Woverflowed-literals]
     Literal 9223372036854775817 is out of the Int range -9223372036854775808..9223372036854775807
    |
-14 |     print (9223372036854775817 :: Int) 
+15 |     print (9223372036854775817 :: Int)
    |            ^^^^^^^^^^^^^^^^^^^
-
 ```

message-index/messages/GHC-97441/index.md

@@ -1,15 +1,26 @@
 ---
-title: Overflowed Literal
+title: Overflowed Literals
 summary: Literal overflowing range of supported values
 severity: warning
 introduced: 9.6.1
 flag: -Woverflowed-literals
 ---
 
-Warning emitted if a literal (constant value in the source code) will overflow.
-This doesn't cause error at runtime, but might cause confusion because overflowed value might be different than what you expect.
+This warning is emitted if an integer literal (that is, a constant integer value in the source code) will overflow.
+
+Many integer types have fixed precision. This means that only a certain number of bits are available to represent their values.
+You can check the minimum / maximum values representable by given type by using `minBound` / `maxBound` from [Bounded](https://hackage.haskell.org/package/base-4.18.0.0/docs/Prelude.html#t:Bounded) typeclass defined in the `base` package. The range of supported values might differ based on what OS / platform you’re using.
+
+```haskell
+>>> minBound :: Int
+-9223372036854775808
+>>> maxBound :: Int
+9223372036854775807
+```
+
+Calculations that exceed this range cause the value to wrap around, which is called "overflow" or "underflow". Literals outside the range also overflow. This doesn't cause error at runtime, but might cause confusion because overflowed value is usually not what you want or expect.
 
 To fix the warning you can:
 
-- Use different value for the literal so that it fits within the range supported by its type
-- Use different type, which is capable of representing the value
+- Use a different value for the literal so that it fits within the range supported by its type
+- Use a type that is capable of representing the value (or `Integer`, which can represent values as big as your computer's memory)