2 ms·

Thus if you use such a library, a simple line of code like if (x < 1): may halt, trying to compute x to a higher and higher precision?

• VMG 6y ago
  I think you meant to say "may not halt"
  • enriquto 6y ago
    Aren't both sentences synonymous? The problem is that the checking a condition "x<0" can take an arbitrarily long time to check, and maybe even be undecidable.