JVMS changes for JEP 401

[Dan Smith]

> On Feb 7, 2024, at 11:52 AM, Remi Forax <forax at univ-mlv.fr> wrote:
> 
> Hello,
> in section 6.5, the specified behavior of acmp_eq/acmp_ne for fields of type float and double has been changed.
> 
> The last time we discussed that subject, the idea was to align the semantics of a field of type float (double) to the semantics of Float.equals() (Double.equals()), but now the spec has been changed to compare the bitwise representations.
> 
> What is the underlying reason for that change ?

Yes, changed with the last refresh in May. I don't see a discussion about this in the EG mail archive, so I'll do some digging and see if I can reconstruct the arguments for doing it this way.