return xs == null ? null : xs.asDoubleArray ();
return xs == null ? null : ((DArray)xs).value;
    public static double [] unbox_darray(Array xs) {        return xs == null ? null : xs.asDoubleArray ();    }