<div dir="ltr"><div><div><div><div><div><div><div><div>Henning,<br></div><div><br>Yes, if you wish. However you might run into surprises because the Floating class defines pi polymorphically, and the Floating instance for ExactPi uses exactly pi. We are also considering adding exact evaluation of trignonmetric functions at those points in the domain that can be exactly represented. As long as you are aware of this issue you can use it for any other transcendental function you might be more interested in.<br><br></div>You could also consider copying the entire thing but changing the:<br><br></div>instance Floating ExactPi where<br></div>  pi = <span class="">Exact</span> <span class="">1</span> <span class="">1<br><br></span></div><span class="">bit to:<br><br></span></div><span class="">instance Floating ExactSomethingElse where<br></span></div><span class="">  pi = Approximate pi<br><br></span></div><span class="">If this related type would be useful to you and you have a suggested name for it, I can add it to the library?<br><br></span></div><span class="">-Doug<br></span><div><div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Nov 2, 2015 at 2:49 PM, Henning Thielemann <span dir="ltr"><<a href="mailto:lemming@henning-thielemann.de" target="_blank">lemming@henning-thielemann.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
On Mon, 2 Nov 2015, Douglas McClean wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
 *  Exact conversion factors between units are available, even when those conversion factors involve multiples of pi,<br>
    thanks to the exact-pi library<br>
</blockquote>
<br>
<br>
Since pi is transcendental with respect to the rational numbers, I can use exact-pi for any other transcendental number, can't I?<br>
</blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature">J. Douglas McClean<br><br>(781) 561-5540 (cell)</div>
</div></div></div></div>