268     float[] xf = new float[16];  in main()  local
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()
278     xf[9] = -99.2f;  in main()
279     xf[10] = -1.0f;  in main()
280     xf[11] = -0.0f;  in main()
281     xf[12] = +0.0f;  in main()
282     xf[13] = +1.0f;  in main()
283     xf[14] = +99.2f;  in main()
284     xf[15] = Float.POSITIVE_INFINITY;  in main()
285     doitFloat(xf);  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()
296         Float.floatToRawIntBits(xf[8]));  in main()
299         Float.floatToRawIntBits(xf[9]));  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()
307         Float.floatToRawIntBits(xf[13]));  in main()
310         Float.floatToRawIntBits(xf[14]));  in main()
313         Float.floatToRawIntBits(xf[15]));  in main()