Improved method strings.dump() to support double[] type