Rewrite reals#3

Open

Almazis wants to merge 10 commits intomasterfrom

Commits on Oct 15, 2022

attempt to fix reals
Almazis
committed

Commits on Oct 17, 2022

fix
Almazis
committed
Still not fixed
Almazis
committed

Commits on Nov 30, 2022

Commits on Dec 1, 2022

some real div fixes
Almazis
committed

Commits on Dec 3, 2022

Fixed rewriting, some MBP issue is still present
Almazis
committed

Commits on Dec 5, 2022