Ben Bacarisse <(E-Mail Removed)> writes:

> "Fred J. Tydeman" <(E-Mail Removed)> writes:

>

>> On Thu, 28 Feb 2013 00:50:49 UTC, Shao Miller <(E-Mail Removed)> wrote:

>>

>>> Is there any floating point representation where precise zero cannot be

>>> represented? Strong evidence, indeed.

>>

>> Systems that use a logarithmic number system:

>> http://en.wikipedia.org/wiki/Logarithmic_number_system

>

> ...but not permitted in C implementations. The C standard lays out a

> model for how floating point types must be represented, and zero can

> always be represented exactly.
For those who don't know, Fred Tydeman specializes in concerns

related to floating-point arithmetic, and also is a long-standing

member of WG14 (I believe since its inception, but I'm not sure

about that). He may be the world's foremost authority on

floating point in ISO C; he certainly is among the group who

are candidates for that distinction.