public static Pointer newDouble(double x) { Pointer p = newDouble(); p.setDoubleValue(x); return p; }