Computer algebra: formulas as trees, exact until you ask for digits

Afterwards you can say what a computer algebra system such as SymPy does differently from floating-point code, and when an exact result is worth having.