if (array.length == 0) return "[]"; StringBuilder sb = new StringBuilder(array.length << 4); sb.append('['); for (float o : array) { sb.append(Float.toString(o)); sb.append(','); sb.setCharAt(sb.length() - 1, ']'); return sb.toString();
float[] r = new float[xs.length]; for (int i = 0; i < xs.length; ++i) { r[i] = xs[i] + y; return r;
double[] to = new double[from.length]; for (int i = 0; i < from.length; i++) { to[i] = (double) from[i]; return to;