<div dir="ltr"><div>Having been bitten by this bug myself, I would vote yes on this one.</div><div><br></div><div>For symmetry's sake, I would think there should be four new constants - for {MIN,MAX}_{POSITIVE,NEGATIVE}_VALUE - and that both of {MIN,MAX}_VALUE should be deprecated.<br></div><div><br></div><div>-Archie<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Dec 2, 2024 at 5:18 PM Éamonn McManus <<a href="mailto:emcmanus@google.com">emcmanus@google.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">At Google, we've had several issues over the years relating to Double.MIN_VALUE. People have not unreasonably supposed that Double.MIN_VALUE has the same relationship to Double.MAX_VALUE as Integer.MIN_VALUE has to Integer.MAX_VALUE. So they think that Double.MIN_VALUE is the (finite) negative number of largest magnitude, rather than the positive number of smallest magnitude. We're currently thinking of adding a constant MIN_POSITIVE_VALUE to Guava's <a href="https://guava.dev/releases/snapshot-jre/api/docs/com/google/common/primitives/Doubles.html" target="_blank">Doubles</a> class and having static analysis that suggests using that instead of Double.MIN_VALUE, if that is indeed what you meant, or of course using -Double.MAX_VALUE if *that* is what you meant.<div><br></div><div>A few JDK and JavaFX bugs show that Google engineers are not the only ones to be confused by this:</div><div><a href="https://bugs.openjdk.org/browse/JDK-4218647" target="_blank">https://bugs.openjdk.org/browse/JDK-4218647</a></div><div><a href="https://bugs.openjdk.org/browse/JDK-8092698" target="_blank">https://bugs.openjdk.org/browse/JDK-8092698</a></div><div><a href="https://bugs.openjdk.org/browse/JDK-8156186" target="_blank">https://bugs.openjdk.org/browse/JDK-8156186</a></div><div><br></div><div>So we also wonder if it would make sense to deprecate Double.MIN_VALUE itself and introduce Double.MIN_POSITIVE_VALUE with the same meaning. Obviously the same thing would apply to Float.</div></div>
</blockquote></div><div><br clear="all"></div><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature">Archie L. Cobbs<br></div>