Обрезать любые нули в начале строки с помощью PHP

Пользователи будут заполнять поле номерами, относящимися к их учетной записи. К сожалению, некоторые пользователи будут иметь нули в начале числа, чтобы получилось шестизначное число (например, 000123, 001234), а другие не будут (например, 123, 1234). Я хочу "обрезать" числа от пользователей, которые имеют префиксы с нулями впереди, поэтому, если пользователь вводит 000123, он удаляет нули и становится 123.

Я посмотрел на trim и substr, но не думаю, что они подойдут. работа?