static double[] cloneDoubleArray(double[] a) {
  if (a == null) null;
  double[] b = new[a.length];
  System.arraycopy(a, 0, b, 0, a.length);
  ret b;
}