[core] Merge developing branch into main#197

Draft

forfudan wants to merge 17 commits intomainfrom

Commits on Apr 3, 2026

[float][gmp] Add planning for GMP integration + Initialize folders and files (#190)
forfudan
authored

Commits on Apr 7, 2026

[float][gmp] Implement most of the methods for `BigFloat` (#191)
forfudan
authored
[cli] Update codebase to argmojo v0.5.0 and use declarative API (#192)
forfudan
authored

Commits on Apr 8, 2026

[doc] Add enhancement plan for `Decimal128` type (#193)
forfudan
authored
[docstring] Ensure that all functions, fields, and constants have docstrings + Eliminate `mojo doc` warnings (#194)
forfudan
authored

Commits on Apr 10, 2026

Commits on Apr 11, 2026

Commits on Apr 12, 2026

[cli] Add interactive REPL (#205)
forfudan
authored

Commits on Apr 14, 2026