With printf() / snprintf() etc "%f" actually requests a double, not a float

Let's pass the correct type, since we can't rely on these functions to do intelligent conversion