Proper handling of denormals other than +/- 0.0

[eyalroz]

Denormal, or subnormal, floating-point numbers are those with an exponent of zero. Their implicit leading mantissa bit is 0, so one needs to look at their mantissa to determine their "true" exponent. And since printf()-like functions are required by the standard to print non-zero de-normals with a non-zero integral part before the decimal point - they must determine the true exponent.

This library doesn't do so. The worst case of this behavior is handled specifically, but nothing general.