Go'nun abs için neden özel bir kasası var (0)

Go ile oynuyordum ve matematik paketindeki abs işlevi için bu ilginç kodu buldum:

http://golang.org/src/pkg/math/abs.go

14 func abs(x float64) float64 {
15      switch {
16      case x < 0:
17          return -x
18      case x == 0:
19          return 0 // return correctly abs(-0)
20      }
21      return x
22  }

Neden x == 0 özel vakasına sahip olmalıyız? 18. ve 19. satırları silersem ne olur?

Yorum nedeni açıklıyor - abs(-0)0 döndürmeli, ancak özel durum olmadan abs(-0)-0 dönecekti.

Go'nun IEEE şamandıralarını kullandığını ve böylece hem +0 hem de -0'ın işaret biti için farklı değerler kullanılarak temsil edilebileceğini varsayıyorum .

IEEE 754 kayan noktalı standart, imzalı sıfırlara izin verir . Negatif sıfır, pozitif sıfıra eşittir, bu nedenle < 0test tarafından kapsanmaz .