3 ms·

Generally, precision is pulled on-demand, as it is needed. If you compare two values as x < y, x and y will be evaluated to higher and higher precision until th

Generally, precision is pulled on-demand, as it is needed. If you compare two values as x < y, x and y will be evaluated to higher and higher precision until the answer is unambiguous. This can be an issue if the values are equal, since they often cannot be proven to be equal, so the evaluation may just outright fail to terminate.

mehrdadn 7y ago
That doesn't address the situation I outlined?
- rocqua 7y ago
  You store the expression. Because that expression is a computable real, you can calculate it to arbitrary precision. This is quite inefficient for things like summing over a list. Or really, any kind of accumulation.