Post #678 282 Oct 6, 2020, 09:56 UTC Hans-J. Boehm: Towards an API for real numbers —Adrian Colyer's excellent review, as always %)(also: applied number theory! in a calculator near you!)