Deprecate Double.MIN_VALUE?

[Stephen Colebourne]

On Tue, 3 Dec 2024 at 18:37, Louis Wasserman <lowasser at google.com> wrote:
> To add some more data, from taking a sample, at least a third of usages in Google's codebase were using it incorrectly in the way we've described.

I just checked, and only a few days ago I made this error (in a test
case, where it is less noticeable).

I do think deprecation of Double.MIN_VALUE is long overdue (whether
there are new constants or not is a separate issue).

Stephen