On Wed, Nov 18, 2020 at 07:13:04PM -0600, Paul A. Clarke wrote: > On Wed, Nov 18, 2020 at 04:29:09PM -0600, Segher Boessenkool wrote: > > Mike, please add a comment, what number it represents? Okay for trunk > > with that, thanks. > > > > (Should those not be define in some header though?) > > Would it be better to represent the number in hex, like with printf's '%a' > formatting (e.g. "0x1.921fb54442d18p+0"...this is NOT the same value)? > > (I always get nervous when I see a long float hardcoded in decimal.)
Yeah, good point, thanks. That's indeed why I converted it to hex, to see what it *is* :-) Hexadecimal float is C99 so we cannot use it in the installed headers, but it should be fine in most testcases now. And even in the headers we can put it in a comment of course. Segher