From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 14987 invoked by alias); 18 Aug 2005 22:41:09 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 14851 invoked by uid 48); 18 Aug 2005 22:41:04 -0000 Date: Thu, 18 Aug 2005 23:34:00 -0000 Message-ID: <20050818224104.14849.qmail@sourceware.org> From: "robilad at kaffe dot org" To: gcc-bugs@gcc.gnu.org In-Reply-To: <20050818173012.23466.veldema@cs.fau.de> References: <20050818173012.23466.veldema@cs.fau.de> Reply-To: gcc-bugzilla@gcc.gnu.org Subject: [Bug libgcj/23466] Double.toString(0.0010) ---> "0.001" ISO "0.0010" X-Bugzilla-Reason: CC X-SW-Source: 2005-08/txt/msg02157.txt.bz2 List-Id: ------- 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