printf с ведущими нулями в C

У меня есть число с плавающей запятой, например 4917.24 . Я хотел бы напечатать его так, чтобы перед десятичной точкой всегда было пять символов с ведущими нулями, а затем три цифры после десятичной точки.

Я попробовал printf ("% 05.3f", n) во встроенной системе, которую я использую, но она печатает ***** . Правильно ли указан спецификатор формата?