Improve Mathlib

[littlewhitecloud]

No description provided.

[Akuli]

This looks good, thanks for working on this!

I will "later" figure out why the CI is red. The changes don't look like they should break anything :)

[Akuli]

Yeah this is why CI fails

[Akuli]

Thanks for working on this! I pushed a couple commits and I will merge soon.

(If you are wondering why I deleted fmod and fmodf, it is because Jou's % operator already does the same thing. In C, the % operator is only for integers, and it cannot be used with floats or doubles.)

[littlewhitecloud]

Thanks for working on this! I pushed a couple commits and I will merge soon.

(If you are wondering why I deleted and , it is because Jou's operator already does the same thing. In C, the operator is only for integers, and it cannot be used with floats or doubles.)fmod``fmodf``%``%

Thanks!