Worked on enhancing numeric safety in the clash-lang/clash-compiler repository by developing new utilities for safe numeric resizing and truncation. Introduced the maybeResize and maybeTruncateB functions within Clash.Class.Resize, which return Nothing when an operation would exceed bounds, thereby improving runtime reliability. The implementation leveraged Haskell’s functional programming paradigms and type-level programming to ensure correctness across various numeric types. Comprehensive tests were written to validate the safety guarantees of these utilities, and the changes were fully integrated into the compiler workflow. This work focused on robust handling of numeric types and contributed to safer, more predictable numeric operations in the codebase.