Worked on the starkware-libs/cairo repository to develop a unified numeric abstraction for division and remainder operations across integer types. Introduced the DivRemGeneric trait, enabling generic programming patterns and improving code reusability within the core library. The implementation included compatibility bridges to integrate the new trait with existing numeric types, ensuring seamless adoption. Comprehensive tests were written to validate correctness and robustness, focusing on reliability and cross-type portability. This work strengthened the numeric traits infrastructure in Cairo, laying the foundation for more generic arithmetic operations. The project was completed using Cairo and core library development skills, emphasizing maintainability and extensibility.