static float[] copyFloatArray(float[] a) {
  if (a == null) null;
  float[] b = new float[l(a)];
  System.arraycopy(a, 0, b, 0, l(a));
  ret b;
}