At the end of <http://nemocas.github.io/Nemo.jl/stable/algebraic> it says: > (see the section on *Exact real and complex numbers*) This really should be a *link* to the relevant section