c - -0.0 の後の次の表現可能な値が +0.0 である場合、なぜ nextafter(-0.0, INFINITY) は +0.0 を返さないのでしょうか?

Question

の次の表現可能な値-0.0が である場合、が返されない+0.0のはなぜですか?nextafter(-0.0, INFINITY)+0.0

Answer 1

+0 は -0 と比較すると -0 に等しいため、-0 の「後」ではないためです。