I did a little searching, but didn't immediately find anything relevant. My question is if there is an eloquent way to do number padding (ie: turn 5 into 05).
Anything will be better than my current solution: $num = "0".$num if ($num < 10);
I feel something like this would be cool: $num = pad($num,1);
where $num is the input and 1 is the number of zeroes to prepend.