Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.c > #141524

Re: A final word on casting.

From Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups comp.lang.c
Subject Re: A final word on casting.
Date 2019-03-01 01:16 +0000
Organization A noiseless patient Spider
Message-ID <87o96vwg0x.fsf@bsb.me.uk> (permalink)
References (11 earlier) <q58l4p$q2g$1@dont-email.me> <exactly-20190228140659@ram.dialup.fu-berlin.de> <interval-20190228141733@ram.dialup.fu-berlin.de> <871s3sx7tb.fsf@bsb.me.uk> <floating-20190301005833@ram.dialup.fu-berlin.de>

Show all headers | View raw

ram@zedat.fu-berlin.de (Stefan Ram) writes:

> Ben Bacarisse <ben.usenet@bsb.me.uk> writes:
>>BTW, what interval do you think a particular bit pattern represents?
>
>   The number one usually associates with a binary floating
>   point representation as printed by "%.9999g" (where "9999"
>   is intended to be infinite) in printf, I call the /face 
>   value of the representation/.

I call it the value since it seems so clear that that is what it is, but
I can see you might need a more complex term if you want "the value" to
be an interval.

It's better to specify this "face value" as the C standard does it,
because printf is not required to print it.

<cut>
>   A face value represents the set of all numbers who are
>   closer to that face value than to every other face value.

By number do you mean real?  If so, the interval is open at both ends,
with some real not in any interval, yes?

This interval is likely to be confusing for some because it does not
take IEEE rounding into account.  I don't see what advantage you gain
from taking this point of view.

<cut>
-- 
Ben.

Back to comp.lang.c | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Re: A final word on casting. Tim Rentsch <tr.17687@z991.linuxsc.com> - 2019-02-25 23:26 -0800
  Re: A final word on casting. "I Set My Girlfriend's Pantyhose on Fire" <cdalten@gmail.com> - 2019-02-26 03:12 -0800
  Re: A final word on casting. James Kuyper <jameskuyper@alumni.caltech.edu> - 2019-02-26 05:41 -0800
    Re: A final word on casting. James Kuyper <jameskuyper@alumni.caltech.edu> - 2019-02-26 19:00 -0800
      Re: A final word on casting. James Kuyper <jameskuyper@alumni.caltech.edu> - 2019-02-27 06:37 -0800
  Re: A final word on casting. James Kuyper <jameskuyper@alumni.caltech.edu> - 2019-02-28 07:45 -0500
    Re: A final word on casting. James Kuyper <jameskuyper@alumni.caltech.edu> - 2019-02-28 08:20 -0500
    Re: A final word on casting. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-02-28 15:16 +0000
      Re: A final word on casting. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-03-01 01:16 +0000
        Re: A final word on casting. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-03-02 01:10 +0000
    Re: A final word on casting. Tim Rentsch <tr.17687@z991.linuxsc.com> - 2019-03-06 08:36 -0800
      Re: A final word on casting. Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2019-03-06 09:04 -0800
        Re: A final word on casting. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-03-21 11:19 +0000
    Re: A final word on casting. Tim Rentsch <tr.17687@z991.linuxsc.com> - 2019-03-06 09:33 -0800
      Re: A final word on casting. James Kuyper <jameskuyper@alumni.caltech.edu> - 2019-03-06 11:19 -0800
        Re: A final word on casting. Tim Rentsch <tr.17687@z991.linuxsc.com> - 2019-03-23 10:49 -0700
          Re: A final word on casting. James Kuyper <jameskuyper@alumni.caltech.edu> - 2019-03-25 12:06 -0700

csiph-web