Cambiar formato de número ¿?

[cuasatar]

Bueno, primero que todo no se debe transformar el número a entero sino a doble, sino se perderan los datos de los decimales.

Segundo siempre se acostumbra trabajar con los tags

Código PHP:

  <?php ?>   

en lugar de su versión simplificada

Código PHP:

  <? ?>   

(es recomendable porque no todos los servidores entienden la versión simplificada).

Tercero hice este pequeño código y usando el número que colocas de ejemplo al comienzo hice diferentes pruebas.

Código PHP:

  <?php
$var="24.725,6";
//$var="24,725.6";
//$var="24725.6";
echo("La variable var vale ".$var." y su tipo es ".gettype($var)."<br />");
settype($var,"double");
echo("La variable var vale ahora ".$var." y su tipo es ".gettype($var));
?>   

Y los resultados por pantalla dan lo siguiente:

$var="24.725,6";
La variable var vale 24.725,6 y su tipo es string
La variable var vale ahora 24.725 y su tipo es double
$var="24,725.6";
La variable var vale 24,725.6 y su tipo es string
La variable var vale ahora 24 y su tipo es double
$var="24725.6";
La variable var vale 24725.6 y su tipo es string
La variable var vale ahora 24725.6 y su tipo es double

Con los resultados que acabas de ver en pantalla es claro que antes de manipular el número debes colocar la parte que separa los decimales de los enteros con punto y eliminar el separador de miles porque sino no sera posible manipular los números o te dara erroneo el valor como puedes ver. Una vez que ya hayas realizado todas las operaciones ahí si le das formato al número.

Espero sirva de ayuda para solucionar el problema.

p.s. Acabo de leer que necesitas los valores a entero y obviar la parte decimal, entonces si puedes usar integer en lugar de double.