什么是在PHP中将5-7位数字转换为xxx/xxx/xxx格式的最简洁方法？

我有5,6和7位数字.我需要它们以000/000/000格式显示.例如:

12345将显示为000/012/345

和

9876543将显示为009/876/543

我知道如何以杂乱的方式执行此操作,涉及一系列if/else语句和strlen函数,但必须有一种更清晰的方式涉及我没有看到的正则表达式.

sprintf和modulo是一种选择

function formatMyNumber($num)
{
    return sprintf('%03d/%03d/%03d',
                   $num / 1000000,
                  ($num / 1000) % 1000,
                   $num % 1000);
}

$padded = str_pad($number, 9, '0', STR_PAD_LEFT);
$split = str_split($padded, 3);
$formatted = implode('/', $split);