During a focused month of development, Btwael enhanced the Z3Prover/z3 repository by implementing Bitvector signed division (sdiv) support in the z3++ C++ API. This work involved extending the z3++.h header to introduce inline operators capable of handling both expr and int operands, thereby ensuring consistent and complete API coverage for signed bit-vector arithmetic. By aligning the C++ API with Python bindings and SMT-LIB semantics, Btwael reduced modeling friction and eliminated the need for user workarounds. The project showcased strong API development skills in C++, addressing a previously missing feature and improving usability for developers working with bit-vector operations.