Passed a float and a double to printf()