316     double[] xd = new double[16];  in main()  local
317     xd[0] = Double.longBitsToDouble(0x7ff0000000000001L);  in main()
318     xd[1] = Double.longBitsToDouble(0x7ff4000000000000L);  in main()
319     xd[2] = Double.longBitsToDouble(0x7ff8000000000000L);  in main()
320     xd[3] = Double.longBitsToDouble(0x7fffffffffffffffL);  in main()
321     xd[4] = Double.longBitsToDouble(0xfff0000000000001L);  in main()
322     xd[5] = Double.longBitsToDouble(0xfff4000000000000L);  in main()
323     xd[6] = Double.longBitsToDouble(0xfff8000000000000L);  in main()
324     xd[7] = Double.longBitsToDouble(0xffffffffffffffffL);  in main()
325     xd[8] = Double.NEGATIVE_INFINITY;  in main()
326     xd[9] = -99.2f;  in main()
327     xd[10] = -1.0f;  in main()
328     xd[11] = -0.0f;  in main()
329     xd[12] = +0.0f;  in main()
330     xd[13] = +1.0f;  in main()
331     xd[14] = +99.2f;  in main()
332     xd[15] = Double.POSITIVE_INFINITY;  in main()
333     doitDouble(xd);  in main()
334     expectEqualsNaN64(0x7ff0000000000001L, Double.doubleToRawLongBits(xd[0]));  in main()
335     expectEqualsNaN64(0x7ff4000000000000L, Double.doubleToRawLongBits(xd[1]));  in main()
336     expectEqualsNaN64(0x7ff8000000000000L, Double.doubleToRawLongBits(xd[2]));  in main()
337     expectEqualsNaN64(0x7fffffffffffffffL, Double.doubleToRawLongBits(xd[3]));  in main()
338     expectEqualsNaN64(0x7ff0000000000001L, Double.doubleToRawLongBits(xd[4]));  in main()
339     expectEqualsNaN64(0x7ff4000000000000L, Double.doubleToRawLongBits(xd[5]));  in main()
340     expectEqualsNaN64(0x7ff8000000000000L, Double.doubleToRawLongBits(xd[6]));  in main()
341     expectEqualsNaN64(0x7fffffffffffffffL, Double.doubleToRawLongBits(xd[7]));  in main()
344         Double.doubleToRawLongBits(xd[8]));  in main()
347         Double.doubleToRawLongBits(xd[9]));  in main()
350         Double.doubleToRawLongBits(xd[10]));  in main()
351     expectEquals64(0, Double.doubleToRawLongBits(xd[11]));  in main()
352     expectEquals64(0, Double.doubleToRawLongBits(xd[12]));  in main()
355         Double.doubleToRawLongBits(xd[13]));  in main()
358         Double.doubleToRawLongBits(xd[14]));  in main()
361         Double.doubleToRawLongBits(xd[15]));  in main()