PHP Program to reverse an integer number

<?php
    //input
    $num = 12345;
    //reverse should be 0
    $reverse = 0;
    //run loop until num is not zero
    while ($num != 0)
    {
        $reverse = $reverse * 10 + $num % 10;
        $num = (int)($num / 10); 
    }
    /printing the reverse number 
    echo "Reverse number of 12345 is: $reverse";
?>

Output
Reverse number of 12345 is:54321