Tengo un campo INT en una gran base de datos MySQL que contiene números incrementales en un campo INT. Estos números son actualmente números de incremento automático regulares (1, 2, 3) pero necesito rellenarlos con tres dígitos con ceros al principio (así que obtengo 001, 002, 003 .. 010, 011, etc.).

¿Qué comandos puedo ejecutar en mi base de datos para cambiar esta columna al formato que necesito?