K 10 svn:author V 3 bde K 8 svn:date V 27 1997-11-23T09:18:18.000000Z K 7 svn:log V 494 Implemented "info float" for core files. Implemented reading of %fs and %gs from core files. Print weird floating point values better. We have to convert long doubles to doubles here because of limitations and bugs in printf() and floatformat_to_double() (long doubles aren't really supported and naive converion to double causes exceptions). Conversion loses information about weird formats (everything becomes a quiet NaN), and printf() doesn't know about different types of NaNs anyway. END