anton, 23 days ago Don’t explain the ieee floating point standard to mathematicians from within punching distance. spoiler0 == -0 but also 0 > -0 1/0 == 2/0 but 1/0 != 1/(-0) not(x<y) and not(x>y) and not(x==y) where x is NaN x!=x where x is NaN
Don’t explain the ieee floating point standard to mathematicians from within punching distance.
spoiler0 == -0 but also 0 > -0 1/0 == 2/0 but 1/0 != 1/(-0) not(x<y) and not(x>y) and not(x==y) where x is NaN x!=x where x is NaN
0 == -0
0 > -0
1/0 == 2/0
1/0 != 1/(-0)
not(x<y) and not(x>y) and not(x==y)
x
NaN
x!=x