3 ms·

Undecidable in principle but I wonder how much it comes up in practice.

• reikonomusha 7y ago
  In practice, you get guarantees “up to precision”. This is totally reasonable. If you’re doubtful, you can either prove theorems, or bump up the precision. In general this works well.
• rocqua 7y ago
  Good point. It's not worse than floating point numbers.