Formatear número en Smarty

[bandolera]

Hola a todos:
Tengo un campo en MySQL:

Código PHP:

  nro_doc bigint(12)  
   

.
Pero tengo valores de 8, 10 y 11 dígitos.
Y todo normal al visualizarlos con Smarty.
Pero lo que quiero es que los muestre a todos con 12 dígitos, poniendo ceros al lado izquierdo del número.
Mi plantilla:

Código PHP:

  {$valor[i]->nro_doc()}  
   

Encontré una función pero al aplicarla el número inicial cambia.

Código PHP:

  {$valor[i]->nro_doc()|string_format:"%012d"}  
   

O la estoy aplicando mal.
Espero me puedan ayudar.