rimuovere zeri non significativi da numero in php

[Daniele78]

Mi servirebbe una funzione PHP per rimuovere gli zeri non significativi dai valori numerici restituiti da una query.

Ad esempio se ho 100.50 dovrà restituirmi 100.5

se ho 100.00 dovrà restituirmi 100 e così via.

Grazie.

[phylum]

printf("%g",$numero); per stamparlo, sprintf per memorizzarlo in una variabile

[Daniele78]

Grazie.