[Cbor] Re: EDN -0

[Rohan Mahy <[e-mail]>]

> Why would I have typed -0 if I wanted 0?
Let's be clear. The user typed something dumb. If they wanted floating
point -0.0 they should have written that. If they wanted 0, they should
have typed that. We are debating if it is better to *make an exception* to
the simple rule about having a decimal point or other indicator of floating
point present to make something floating point or not. Every other integer
is represented as a CBOR integer.

> It *doesn't* have a value in the integer space, like NaN or Infinity.
In the integer space -0 *equals* 0.  -0 does not have a *unique* value in
the integer space, but it *does* have a value.

Thanks,
-rohan

On Mon, Aug 26, 2024 at 6:17 PM Joe Hildebrand <[e-mail]> wrote:

> Why would I have typed -0 if I wanted 0?
>
> It *doesn't* have a value in the integer space, like NaN or Infinity.
>
> —
> Joe Hildebrand
>
> > On Aug 26, 2024, at 5:35 PM, Rohan Mahy <[e-mail]> wrote:
> >
> > Why not represent EDN -0 be the unsigned int zero since it has the value
> in the integer space and has no decimal point?
> > Thanks,
> > -r
> >
> >
> > On Mon, Aug 26, 2024 at 3:56 PM Joe Hildebrand <[e-mail]>
> wrote:
> > Perhaps EDN -0 is supposed to be denote the integer 0 because of this
> language:
> >
> >
> > ```
> > decnumber stands for an integer in the usual decimal notation, unless at
> least one of the optional parts starting with "." and "e" are present, in
> which case it stands for a floating point value in the usual decimal
> notation. Note that the grammar now allows 3. for 3.0 and .3 for 0.3 (also
> for hexadecimal floating point below); implementers are advised that some
> platform numeric parsers accept only a subset of the floating point syntax
> in this document and may require some preprocessing to use here.
> > ```
> >
> > I implemented -0 to always return a float, since it's the only number
> without a decimal or exponent that can't be encoded as an integer.  I think
> that's more correct, but I am willing to be wrong.
> >
> > Either way, can we have an explicit call out for -0 in this paragraph?
> >
> > —
> > Joe Hildebrand
> >
> > _______________________________________________
> > CBOR mailing list -- [e-mail]
> > To unsubscribe send an email to [e-mail]
>
>