cvs commit: src/lib/libc/gdtoa Makefile.inc _hdtoa.c src/lib/libc/stdio vfprintf.c

[David Schultz]

Any suggestions or bug reports involving this code are welcome, but
please note the following caveats:

	- strtod() has some bugs involving parsing hexadecimal
	  floating-point numbers, which should be fixed in the
	  next gdtoa import (to come shortly).  Until then, be
	  aware that numbers parsed with strtod() may not be
	  output as expected because they were not parsed correctly
	  in the first place.  In particular, don't specify too
	  many digits in the significand for subnormals, and
	  don't expect underflow to zero to work correctly.

	- FLT_ROUNDS in float.h does not reflect the FPU's current
	  rounding mode, so changing the rounding mode via
	  fpsetround(3) or similar will not affect printf() yet.
	  However, all of the standard rounding modes are supported,
	  in theory.

	- There are multiple correct ways to print some values in
	  the hexadecimal format.  For example:
	  0x1.0p+3 == 0x2.0p+2 == 0x4.0p+1 == 0x8.0p+0.  See
	  the comment at the top of __hdtoa() for details.