Выравнивание числа в SQLite

В очередной раз получаю вопрос, как сделать выравнивание числа в SQLite. Оставляя "за кадром" необходимость это делать в эскулайт, отвечаю - это сделать несложно, вот пример:

sqlite> create table a(val integer);
sqlite> insert into a(val) values(1);
sqlite> insert into a(val) values(10);
sqlite> insert into a(val) values(100);
sqlite> insert into a(val) values(1000);
sqlite> select substr('0000000',1,7-length(val))||val from a;
0000001
0000010
0000100
0001000