Wenn wir ganz penibel sind, so steht -0.0 nicht für eine einzige Zahl, sondern für alle Zahlen kleiner als minus minFloat und größer gleich 0. Schließlich lassen diese sich nicht repräsentieren, weshalb -0.0 ein Enum auf die Menge der Zahlen (–minFloat, 0] ist. Anders ausgedrückt: -0.0 hat dieselbe Bedeutung wie die Farbe “Rot” als Enum.
Der Erwartungswert des Vorzeichens einer zufälligen Zahl aus dieser Menge ist negativ (da alle, bis auf endlich viele Zahlen negativ sind). Daher ist -0.0 eindeutig negativ.
Wenn wir ganz penibel sind, so steht -0.0 nicht für eine einzige Zahl, sondern für alle Zahlen kleiner als minus minFloat und größer gleich 0. Schließlich lassen diese sich nicht repräsentieren, weshalb -0.0 ein Enum auf die Menge der Zahlen (–minFloat, 0] ist. Anders ausgedrückt: -0.0 hat dieselbe Bedeutung wie die Farbe “Rot” als Enum.
Der Erwartungswert des Vorzeichens einer zufälligen Zahl aus dieser Menge ist negativ (da alle, bis auf endlich viele Zahlen negativ sind). Daher ist -0.0 eindeutig negativ.