* fixed missing digit when printing a double whose significant digits are all before the floating point on a cpu/fpu supporting maximally double precision * fixed test in tw1792a for double precision fpu's (they can print one digit less for double precision numbers than 80 bit fpu's)