269     xf[0] = Float.intBitsToFloat(0x7f800001);  in main()
270     xf[1] = Float.intBitsToFloat(0x7fa00000);  in main()
271     xf[2] = Float.intBitsToFloat(0x7fc00000);  in main()
272     xf[3] = Float.intBitsToFloat(0x7fffffff);  in main()
273     xf[4] = Float.intBitsToFloat(0xff800001);  in main()
274     xf[5] = Float.intBitsToFloat(0xffa00000);  in main()
275     xf[6] = Float.intBitsToFloat(0xffc00000);  in main()
276     xf[7] = Float.intBitsToFloat(0xffffffff);  in main()
277     xf[8] = Float.NEGATIVE_INFINITY;  in main()
284     xf[15] = Float.POSITIVE_INFINITY;  in main()
286     expectEqualsNaN32(0x7f800001, Float.floatToRawIntBits(xf[0]));  in main()
287     expectEqualsNaN32(0x7fa00000, Float.floatToRawIntBits(xf[1]));  in main()
288     expectEqualsNaN32(0x7fc00000, Float.floatToRawIntBits(xf[2]));  in main()
289     expectEqualsNaN32(0x7fffffff, Float.floatToRawIntBits(xf[3]));  in main()
290     expectEqualsNaN32(0x7f800001, Float.floatToRawIntBits(xf[4]));  in main()
291     expectEqualsNaN32(0x7fa00000, Float.floatToRawIntBits(xf[5]));  in main()
292     expectEqualsNaN32(0x7fc00000, Float.floatToRawIntBits(xf[6]));  in main()
293     expectEqualsNaN32(0x7fffffff, Float.floatToRawIntBits(xf[7]));  in main()
295         Float.floatToRawIntBits(Float.POSITIVE_INFINITY),  in main()
296         Float.floatToRawIntBits(xf[8]));  in main()
298         Float.floatToRawIntBits(99.2f),  in main()
299         Float.floatToRawIntBits(xf[9]));  in main()
301         Float.floatToRawIntBits(1.0f),  in main()
302         Float.floatToRawIntBits(xf[10]));  in main()
303     expectEquals32(0, Float.floatToRawIntBits(xf[11]));  in main()
304     expectEquals32(0, Float.floatToRawIntBits(xf[12]));  in main()
306         Float.floatToRawIntBits(1.0f),  in main()
307         Float.floatToRawIntBits(xf[13]));  in main()
309         Float.floatToRawIntBits(99.2f),  in main()
310         Float.floatToRawIntBits(xf[14]));  in main()
312         Float.floatToRawIntBits(Float.POSITIVE_INFINITY),  in main()
313         Float.floatToRawIntBits(xf[15]));  in main()