Migrate [math](https://github.com/starkware-libs/stone-prover/tree/main/src/starkware/math). Relatively self-contained, only about 300 lines of code.
Migrate math.
Relatively self-contained, only about 300 lines of code.