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

Reply via email to