[Bug libgcj/23466] Double.toString(0.0010) ---> "0.001" ISO "0.0010"

robilad at kaffe dot org gcc-bugzilla@gcc.gnu.org
Thu Aug 18 22:41:00 GMT 2005


------- 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



More information about the Java-prs mailing list