 Integer</pre><pre>2.0^(-2) :: Rational</pre><pre>(double 2)^(1/2) :: Double</pre><p>The following examples require package <a href="https://github.com/michalkonecny/aern2/aern2-real">aern2-real</a>:</p><pre>2^(1/2) :: CauchyReal</pre><pre>pi :: CauchyReal</pre><pre>sqrt 2 :: CauchyReal</pre><ul><li>comparing an integer with an (exact) real number, giving a <code>Maybe Bool</code>:</li></ul><pre>... x :: CauchyReal ... if (isCertainlyTrue (x &gt; 1)) then ...</pre><h1>Type classes</h1><p>Arithmetic operatio