PHP number: decimal point visible only if needed

Question

I\'d like to know if exists some function to automatically format a number by it\'s decimal, so if I have:

Answer 1

I add the article Remove useless zero digits from decimals in PHP as a nicer way to clean the value without loose decimal if needed.