369     float[] xf = new float[16];  in main()  local
370     xf[0] = Float.intBitsToFloat(0x7f800001);  in main()
371     xf[1] = Float.intBitsToFloat(0x7fa00000);  in main()
372     xf[2] = Float.intBitsToFloat(0x7fc00000);  in main()
373     xf[3] = Float.intBitsToFloat(0x7fffffff);  in main()
374     xf[4] = Float.intBitsToFloat(0xff800001);  in main()
375     xf[5] = Float.intBitsToFloat(0xffa00000);  in main()
376     xf[6] = Float.intBitsToFloat(0xffc00000);  in main()
377     xf[7] = Float.intBitsToFloat(0xffffffff);  in main()
378     xf[8] = Float.NEGATIVE_INFINITY;  in main()
379     xf[9] = -99.2f;  in main()
380     xf[10] = -1.0f;  in main()
381     xf[11] = -0.0f;  in main()
382     xf[12] = +0.0f;  in main()
383     xf[13] = +1.0f;  in main()
384     xf[14] = +99.2f;  in main()
385     xf[15] = Float.POSITIVE_INFINITY;  in main()
386     doitFloat(xf);  in main()
387     expectEqualsNaN32(0x7f800001, Float.floatToRawIntBits(xf[0]));  in main()
388     expectEqualsNaN32(0x7fa00000, Float.floatToRawIntBits(xf[1]));  in main()
389     expectEqualsNaN32(0x7fc00000, Float.floatToRawIntBits(xf[2]));  in main()
390     expectEqualsNaN32(0x7fffffff, Float.floatToRawIntBits(xf[3]));  in main()
391     expectEqualsNaN32(0x7f800001, Float.floatToRawIntBits(xf[4]));  in main()
392     expectEqualsNaN32(0x7fa00000, Float.floatToRawIntBits(xf[5]));  in main()
393     expectEqualsNaN32(0x7fc00000, Float.floatToRawIntBits(xf[6]));  in main()
394     expectEqualsNaN32(0x7fffffff, Float.floatToRawIntBits(xf[7]));  in main()
397         Float.floatToRawIntBits(xf[8]));  in main()
400         Float.floatToRawIntBits(xf[9]));  in main()
403         Float.floatToRawIntBits(xf[10]));  in main()
404     expectEquals32(0, Float.floatToRawIntBits(xf[11]));  in main()
405     expectEquals32(0, Float.floatToRawIntBits(xf[12]));  in main()
408         Float.floatToRawIntBits(xf[13]));  in main()
411         Float.floatToRawIntBits(xf[14]));  in main()
414         Float.floatToRawIntBits(xf[15]));  in main()