Float.intBitsToFloat detail

[Bernd Kreimeier]

While doing something OpenGL related (interleaved
float/int arrays) I stumbled over a detail of the

  native float Float.intBitsToFloat(int)

implementation: that all IEEE 754 NaN values (2^23)
are mapped to Float.NaN.

Might be worth a Mauve check?

A native method 

   jfloat Java_jni_Native_int2float( jint val ) {
       return *((jfloat*)&val);
   }


might produce float numbers that might break float
code that relies on IEEE NaN always being Float.NaN?

                                             b.