4 ms·

There are plenty of libraries for computable numbers [1], which sit between the rationals and reals [1] https://en.wikipedia.org/wiki/Computable_number https:/

• lifthrasiir 6y ago
  ...which (naturally) can't determine if some number x is equal to y or not; that alone makes using constructive real numbers challenging and the usage is virtually non-existent. I believe the most-known software using them is the Android calculator since 6.0 and Hans Boehm (of the gc fame) documented various issues encountered [1]. [1] https://dl.acm.org/doi/fullHtml/10.1145/2911981 https://dl.acm.org/doi/fullHtml/10.1145/2911981