Comment by SAI_Peregrinus
3 years 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.
3 years 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.
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).
Thanks, clearly it's been too long since I read the spec.