ABSTRACT
Fact 1 As I'm sure you know, all C library functions using floating-point variables are set up to use doub 1 e, rather than mere f1 oat, variables for both input arguments and return values. All f1 oat (or integer, of course) variables are promoted to doub 1 e when the function is called and demoted again, if necessary, on the way out.
