------- Additional Comments From robilad at kaffe dot org 2005-08-18 22:41 ------- that looks like a bug in Sun's implementation, as the Double.toString() API specs demand that Double.toString returns only as many digits as necessary to uniquely identify the floating point number.
Adding one or more '0' digits does not seem useful, as 0.001 and 0.0010 are mathematically speaking the same number. It would in fact seem to violate the API specifications. cheers, dalibor topic -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23466
