Eu tenho um campo INT em um grande banco de dados MySQL contendo números incrementais em um campo INT. Atualmente, esses números são números regulares de incremento automático (1, 2, 3), mas preciso preenchê-los com três dígitos com zeros no início (para obter 001, 002, 003 .. 010, 011, etc.).

Quais comandos posso executar no meu banco de dados para alterar essa coluna para o formato necessário?