3 ms·

You are right that it isn't possible. Equality on real numbers is undecidable.

• enriquto 6y ago
  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.