OCaml implementation of Towards an API for the Real Numbers by Hans-J. Boehm, which provides a real number type with decidable equality in common cases.
There's a lightweight calculator demo in calculator.ml, which can be run with dune exec ./calculator.exe. (.exe is a dune thing, not a Windows thing)