Add about overflow-checks flag in release mode

Author: iglesias

src/coding-guidelines/types-and-traits.rst

@@ -15,17 +15,21 @@ Types and Traits
    :scope: module
    :tags: numerics
 
-   Code must not rely on Rust's implicit integer wrapping behavior that occurs in release builds. 
-   Instead, explicitly handle potential overflows using the standard library's checked, 
+   Code must not rely on Rust's implicit integer wrapping behavior that may occur in release
+   builds. Instead, explicitly handle potential overflows using the standard library's checked, 
    saturating, or wrapping operations.
 
    .. rationale::
       :id: rat_kYiIiW8R2qD1
       :status: draft
 
       In debug builds, Rust performs runtime checks for integer overflow and will panic if detected.
-      However, in release builds (with optimizations enabled), integer operations silently wrap
-      around on overflow, creating potential for silent failures and security vulnerabilities.
+      However, in release builds (with optimizations enabled), unless the flag overflow-checks is
+      turned on, integer operations silently wrap around on overflow, creating potential for silent
+      failures and security vulnerabilities. Note that overflow-checks only brings the default panic
+      behavior from debug into release builds, avoiding potential silent wrap arounds. Nonetheless,
+      abrupt program termination is usually not suitable and, therefore, turning this flag on must
+      not be used as a substitute of explicit handling.
 
       Safety-critical software requires consistent and predictable behavior across all build
       configurations. Explicit handling of potential overflow conditions improves code clarity,