zlacker

[parent] [thread] 6 comments
1. repsil+(OP)[view] [source] 2023-04-23 18:05:08
TFA neglected to mention that floats have an "infinity" value, quite a bit larger than any 64 bit busy-beaver.

(And before anyone says it's not a number, call `isnan` with an infinity and get back to me :)

replies(3): >>IEEE75+Z2 >>tromp+99 >>SAI_Pe+9c
2. IEEE75+Z2[view] [source] 2023-04-23 18:19:23
>>repsil+(OP)
Correct.
replies(1): >>petter+D6
◧◩
3. petter+D6[view] [source] [discussion] 2023-04-23 18:38:14
>>IEEE75+Z2
Username checks out. There is an other article about fp32 vs fp16 the front page for you as well!
4. tromp+99[view] [source] 2023-04-23 18:54:15
>>repsil+(OP)
Fixed:-)
5. SAI_Pe+9c[view] [source] 2023-04-23 19:16:24
>>repsil+(OP)
I don't believe IEEE 754 specifies which infinities it encodes as its positive and negative infinity. I'd tend to treat it as the surreal equivalence class {0,1,2…|}, but it might be any of the others.
replies(1): >>stephe+Se
◧◩
6. stephe+Se[view] [source] [discussion] 2023-04-23 19:35:06
>>SAI_Pe+9c
IEEE 754 is very clear that the infinities are the endpoints of the extended real line (and hence also the extended integers, which matches your assumption).
replies(1): >>SAI_Pe+Eg
◧◩◪
7. SAI_Pe+Eg[view] [source] [discussion] 2023-04-23 19:48:28
>>stephe+Se
Thanks, clearly it's been too long since I read the spec.
[go to top]