Maybe something like `(1/x).subs(x, 3.0).evalf(100)` is a better example, if only because it's obvious that it's wrong past 15 digits.