sage

Le corps commutatif des nombres réels (Real field).

On est dans le domaine du calcul formel et non dans celui du calcul numérique (nombres flottants : RDF, RealField)