PHP - Reverse a given number

Simple example for reversing a given number.

<?php $num=6541020; $revnum=0; do{     $revnum=($revnum *10)+($num % 10);     $num=(int)($num / 10 ); }while($num>0); echo $revnum; ?>