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()
385     xf[15] = Float.POSITIVE_INFINITY;  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()
396         Float.floatToRawIntBits(Float.POSITIVE_INFINITY),  in main()
397         Float.floatToRawIntBits(xf[8]));  in main()
399         Float.floatToRawIntBits(99.2f),  in main()
400         Float.floatToRawIntBits(xf[9]));  in main()
402         Float.floatToRawIntBits(1.0f),  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()
407         Float.floatToRawIntBits(1.0f),  in main()
408         Float.floatToRawIntBits(xf[13]));  in main()
410         Float.floatToRawIntBits(99.2f),  in main()
411         Float.floatToRawIntBits(xf[14]));  in main()
413         Float.floatToRawIntBits(Float.POSITIVE_INFINITY),  in main()
414         Float.floatToRawIntBits(xf[15]));  in main()