2 ms·
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
by SAI_Peregrinus 4y ago
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.
- stephencanon 4y agoIEEE 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).
- SAI_Peregrinus 4y agoThanks, clearly it's been too long since I read the spec.