[Dylan16807]

Isn't "3.14" pi to an arbitrary degree of precision? Or am I misreading that.

> We know pi in the sense of "a unique real number satisfying many useful properties".

We know it a lot better than that. We have efficient programs that output the numerical value of pi for as many digits as you want.

There's a bunch of real numbers we can identify that are far harder to make use of or approximate, and don't have easy exact description of their value.