* floatformat.c (floatformat_to_double): Correctly handle numbers