x double (x - x) garanti 0.0 ya da bazen -0.0 (x işareti bağlı olarak) olabilir mi?

x - x 0.0 NaN olabilir. Yuvarlak-en yakın (ve Java, yuvarlama modu always round-to-nearest) IEEE 754 aritmetik sürebilir diğer değerleri yok. İki özdeş sonlu değerler çıkarmatanımlanmışbu yuvarlama modu 0.0 üretim. Aşağıda yorum Mark Dickinson, bölüm 6.3 şeklindeki IEEE 754 standardı değinir:

Ne zaman toplamının iki işlenen ile ters işaretleri (veya farkı iki işlenen işaretler gibi) tam olarak sıfır işaretinin toplamı (veya farkı) bendi 0 tüm yuvarlama-yön öznitelikleri dışında roundTowardNegative [...].

page Bu özellikle 0.0 - 0.0 -0.0 - (-0.0) 0.0 olduğunu gösterir.

Sonsuz ve NaN kendilerini düşülen zaman NaN üretir.