Togliere porzioni decimali

[Emulman]

non basterebbe allora convertire quel numero in integer?

$num = 12345.6789;
settype($num, "integer");
echo $num;