This is the mail archive of the
java-prs@gcc.gnu.org
mailing list for the Java project.
[Bug libgcj/23466] Double.toString(0.0010) ---> "0.001" ISO "0.0010"
- From: "robilad at kaffe dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: java-prs at gcc dot gnu dot org
- Date: 18 Aug 2005 22:41:04 -0000
- Subject: [Bug libgcj/23466] Double.toString(0.0010) ---> "0.001" ISO "0.0010"
- References: <20050818173012.23466.veldema@cs.fau.de>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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