Oh hey, one of my projects is relevant to an article: https://github.com/timschmidt/hyperreal

It's an infinite precision exact constructive real with excellent performance characteristics and approximation only at explicitly named lossy export functions.

Some recent benchmarks: https://github.com/timschmidt/hyperlattice/blob/805d092d1d96...