Číslo bez nul za desetinou čárkou

Pokud potřebujete zobrazit číslo pomocí php a v databázi ho máte uložené jako float či decimal (4.2) tak celé číslo je třeba 20.54. Ale pokud zapíšete do databáze celé číslo třeba 20 uloží se jako 20.00 což může být nežádoucí při vypsání čísla protože chceme vypsat jako 20 a ne 20.00.

Poté stačí proměnou pouze přetypovat na float

$cislo=(float)$cislo

Výsledek pak bude
20.00 = 20
20.10 = 20.1
20.11 = 20.11