<html>
  <head>
    <meta content="text/html; charset=windows-1252"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <div class="moz-cite-prefix">On 2015-04-13 22:08, Douglas McClean
      wrote:<br>
    </div>
    <blockquote
cite="mid:CACruqwTe6BZU5RWKcjcz9-M+2EsYD0UuqqPQi-BP0G8ZXi0=FA@mail.gmail.com"
      type="cite">
      <div dir="ltr">
        <div>
          <div>I'd certainly be happy to do it, I'm just concerned that
            it would be actively unwanted for a reason that I can't see.<br>
            <br>
          </div>
          I will look in to what the procedures are for contributing to
          base.<br>
          <br>
        </div>
        <div>It wasn't my intention to beg the internet to do it for me.<br>
        </div>
      </div>
      <div class="gmail_extra"><br>
        <div class="gmail_quote">On Mon, Apr 13, 2015 at 5:49 PM, Albert
          Y. C. Lai <span dir="ltr"><<a moz-do-not-send="true"
              href="mailto:trebla@vex.net" target="_blank">trebla@vex.net</a>></span>
          wrote:<br>
          <blockquote class="gmail_quote" style="margin:0 0 0
            .8ex;border-left:1px #ccc solid;padding-left:1ex"><span
              class="">On 2015-04-13 11:31 AM, Douglas McClean wrote:<br>
              <blockquote class="gmail_quote" style="margin:0 0 0
                .8ex;border-left:1px #ccc solid;padding-left:1ex">
                I'm wondering why the decision was made not to have a
                Floating instance for Data.Fixed.<br>
              </blockquote>
              <br>
            </span>
            I have always found economics to be a powerful answer to
            this kind of questions. That is, perhaps simply, there has
            not been sufficient incentive for anyone to do the work. For
            example, do you want to do it?<br>
          </blockquote>
        </div>
      </div>
    </blockquote>
    <br>
    It looks hairy to me. The big-number cases would need approaches
    quite different from floating point.<br>
    <span style="white-space:nowrap"><span style="margin-left:0.2em">   
        sin(31415926.535897932384::Pico)<br>
      </span></span><span style="white-space:nowrap"><span
        style="margin-left:0.2em">   
        sin(31415926535897932384.626433832795::Pico)<br>
      </span></span><span style="white-space:nowrap"><span
        style="margin-left:0.2em"></span></span><span
      style="white-space:nowrap"><span style="margin-left:0.2em">   
        sin(314159265358979323846264338327950288419.716939937510::Pico)<br>
      </span></span>To return the correct value (0) from each of these
    examples, and their successors, requires an implementation able to
    calculate pi to an unbounded precision.<br>
    <br>
    The value of exp(50::Uni) requires more precision than a double can
    provide. How far do you go? exp(100::Uni)?<br>
    <br>
    I hope this doesn't scare you off. Perhaps there's literature on
    acceptable limitations when implementing/using such fixed point
    transcendental functions. In any case an implementation would be
    interesting even if it doesn't provide correct results in the
    extreme cases.<br>
  </body>
</html>