Tip - C - 'printf' with leading zeros

I have a floating point number such as 4917.24. I'd like to print it to always have five characters before the decimal point, with leading zeros, then three digits after the decimal place. I tried