On Thu, 5 May 2022 10:11:05 GMT, Raffaello Giulietti <d...@openjdk.java.net> wrote:
> Add a family of "safe" cast methods. This PR also solves [JDK-8154433](https://bugs.openjdk.java.net/browse/JDK-8154433), though you went the other way on -0.0. ------------- PR: https://git.openjdk.java.net/jdk/pull/8548