PHP: felesleges nullák eltüntetése a MySQL DECIMAL típusból

Gondoltam lusta leszek és rákeresek a Google tudástárban, hogy hátha van ilyen paramétere mondjuk a numer_format() -nak.

A probléma az, hogy ha az adatbázisból pl. DECIMAL 6,2 formátumban érkezik egy egész szám, akkor a „.00” ott lesz a végén, pedig értelme ebben az esetben nem sok.

// $szam = "12.00";
echo $szam;
// 12.00

Aztán eszembe jutott az automatikus típuskonverzió, így a megoldás:

echo ($szam*1);