Are there any built-in PHP functions that can be utilized to format numbers with leading zeros?

To format numbers with leading zeros in PHP, you can use the `str_pad()` function. This function pads a string to a certain length with another string (in this case, '0').

$number = 7;
$number_with_zeros = str_pad($number, 3, '0', STR_PAD_LEFT);
echo $number_with_zeros; // Output: 007