Was that before or after those C compilers that automatically linked one of two versions of printf according to whether the program uses floating point numbers?