Click here to see the number of accesses to this library.

file links.html for related resources file dtoa.c by David Gay for ANSI C or C++ source for functions strtod and dtoa that do , decimal-to-binary and binary-to-decimal conversions. Comments , at the beginning describe various preprocessor variables that , can be defined to make this code work with binary IEEE, VAX, , or IBM-mainframe arithmetic. A paper is available at , http://cm.bell-labs.com/cm/cs/doc/90/4-10.ps.gz file g_fmt.c by David Gay for ANSI C or C++ source for function g_fmt(char *, double): , with help from dtoa, g_fmt(buf, x) sets buf to the shortest , decimal string that correctly rounds to x and returns buf. file rnd_prod.s , Assembly code, usable under UNIX UTS System V Release 2.6b, , that uses IBM-mainframe extended-precision floating-point , instructions to compute rounded products and quotients. file testbase by Vern Paxson for announcing ftp access for test program file changes file ucbtest.tgz for testing certain difficult cases of IEEE 754 floating-point arithmetic by dgh@validgh.com (David G. Hough) et al. lang C size 1 megabyte # Retrieve by ftp or http, not email. file fp2.tgz for formal definitions and theorems, with proofs, about floating-point , numbers, for use with Coq (http://coq.inria.fr/). file gdtoa.tgz for generalization of dtoa.c to other IEEE and IEEE-like precisions , (float, extended, quad) and "double double". Rounding , directions may be specified; decimal -> interval is an alternative. file p9fmt.tgz for Unix port of the Plan 9 formatted I/O package by Rob Pike and Ken Thompson lang C