[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

This page is part of the web mail archives of SRFI 70 from before July 7th, 2015. The new archives for SRFI 70 contain all messages, not just those from before July 7th, 2015.

*To*: schlie@xxxxxxxxxxx*Subject*: Re: Nitpick with FLOOR etc.*From*: Aubrey Jaffer <agj@xxxxxxxxxxxx>*Date*: Wed, 27 Jul 2005 21:11:18 -0400 (EDT)*Cc*: srfi-70@xxxxxxxxxxxxxxxxx*Delivered-to*: srfi-70@xxxxxxxxxxxxxxxxx*In-reply-to*: <BF09C8E0.AF66%schlie@xxxxxxxxxxx> (message from Paul Schlie on Sun, 24 Jul 2005 22:38:24 -0400)*References*: <BF09C8E0.AF66%schlie@xxxxxxxxxxx>

| Date: Sun, 24 Jul 2005 22:38:24 -0400 | From: Paul Schlie <schlie@xxxxxxxxxxx> | | > From: Aubrey Jaffer <agj@xxxxxxxxxxxx> | > | Date: Thu, 21 Jul 2005 20:50:05 -0400 | > | From: Paul Schlie <schlie@xxxxxxxxxxx> | .... | > | - thereby the range of all numerical transforms map to a | > | correspondingly representable domain (although may optionally | > | signal a run-time exception as may be desired in certain | > | circumstances). | > | > This would have been nice, but the smallest (unnormalized) | > numbers in IEEE-754 are not symmetrical with the largest | > magnitude numbers: | | - which would imply that unnormalized values would be invalid | inexact values. (as only normalized floats would satisfy the | symmetry specified) If you eliminate unnormalized numbers, then the difference between all pairs of positive flonums having the most negative exponent is 0, which isn't right. The way to achieve symmetry is to choose a different bias for the exponent. But you have work through the math; possibly one of the exponent values would also need to be unused.

**Follow-Ups**:**Re: Nitpick with FLOOR etc.***From:*Paul Schlie

**References**:**Re: Nitpick with FLOOR etc.***From:*Paul Schlie

- Prev by Date:
**Re: inexactness vs. exactness** - Next by Date:
**Re: inexactness vs. exactness** - Previous by thread:
**Re: Nitpick with FLOOR etc.** - Next by thread:
**Re: Nitpick with FLOOR etc.** - Index(es):