[issue2937] Incorrect rounding in floating-point operations with gcc/x87

2008-12-05 Thread Mark Dickinson
Mark Dickinson [EMAIL PROTECTED] added the comment: Closing as invalid. -- resolution: - invalid status: open - closed ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue2937 ___

[issue2937] Incorrect rounding in floating-point operations with gcc/x87

2008-05-22 Thread Mark Dickinson
Mark Dickinson [EMAIL PROTECTED] added the comment: Okay; so this is definitely not a Python bug---it's a well-known and well-documented problem with IA32 floating-point. And I accept that it's really not Python's responsibility to document this, either. Nevertheless, it was a surprise to me

[issue2937] Incorrect rounding in floating-point operations with gcc/x87

2008-05-21 Thread Mark Dickinson
New submission from Mark Dickinson [EMAIL PROTECTED]: On some older Intel 32-bit hardware, under Linux, floating-point operations don't always give correctly rounded results. Here's an example involving addition, on SuSE Linux 10.2/Xeon. Python 2.6a3+ (trunk:63521, May 21 2008, 15:40:39)

[issue2937] Incorrect rounding in floating-point operations with gcc/x87

2008-05-21 Thread Martin v. Löwis
Martin v. Löwis [EMAIL PROTECTED] added the comment: Python (the language) makes no guarantee itself on what the precise semantics of floating-point operations is. This is documented in http://docs.python.org/ref/types.html These represent machine-level double precision floating point numbers.