Функция SQLite для форматирования чисел с начальными нулями?

У меня есть база данных SQLite, которая должна содержать продукты. Эти продукты имеют составной номер продукта фиксированного формата, состоящий из категории, группы и номера продукта (cccccc.gg.ppp). Каждый раз, когда вставляется новый продукт, новый номер продукта должен быть построен с использованием номеров категорий и групп, за которыми следует самый высокий номер продукта в этой группе, увеличиваемый на единицу.

С этой целью я подумал о том, чтобы сохранить все три числа в отдельных полях и использовать представление для динамической сборки номера продукта. Чтобы это сработало, мне нужно добавить ведущие нули, поскольку формат номера продукта фиксированный.

Однако я не могу найти встроенную функцию SQLite, которая позволила бы мне сделать это ...: - (

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

Можно ли это сделать? Или нам нужно будет найти другое решение?