To read a double value using scanf you need a format of "%lg", otherwise
it writes a single into the address of a double...

As for doubles less than DBL_MIN, there is certainly support for denormalized
numbers in the floating point package I wrote, but I don't know if it is
turned on by default. The default might be truncate to zero. I believe
the denomalized numbers work properly, but they haven't been tested all that
thoroughly.

Ian