I don't know, but is there any reason to prefer String.format("%f", param) over param.toString() in either of these two cases?
I'd suspect that param.toString() MIGHT be more to-the-point and possibly more efficient?