Stefan Krah <ste...@bytereef.org> writes: > cdecimal is a complete implementation of IBM's General Decimal Arithmetic > Specification. With the appropriate context parameters, cdecimal will also > conform to the IEEE 754-2008 Standard for Floating-Point Arithmetic.
Cool. I wonder when we'll start seeing this in non-IBM hardware CPU's. > Both cdecimal and libmpdec have an extremely conservative release policy. > When new features are added, the complete test suite is run both with and > without Valgrind on many different platforms. With the added tests against > decNumber, this takes around 8 months on four cores. Wow. I wonder whether it's worth looking into some formal verification if the required level of confidence is that high. -- http://mail.python.org/mailman/listinfo/python-list