@hackage / exact-real-positional

Framework for Exact Real Arithmetic in the Positional Number System