/netlib/fp

file: fp/links.html
for: related resources
file: fp/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: fp/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: fp/rnd_prod.s
file: fp/testbase
by: Vern Paxson

for: announcing ftp access for test program
file: fp/changes
file: fp/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: fp/fp2.tgz
for: formal definitions and theorems, with proofs, about floating-point numbers, for use with Coq (http://coq.inria.fr/).
file: fp/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: fp/p9fmt.tgz
for: Unix port of the Plan 9 formatted I/O package

by: Rob Pike and Ken Thompson

lang: C
index help

Privacy and Security. Website maintained by David M. Gay. Last modified: 17 July 2007.