In PHP (using built-in functions) I\'d like to convert/format a number with decimal, so that only the non-zero decimals show. However, another requirement of mine is that if
rtrim($value, "0") almost works. The problem with rtrim is that it leaves 9.000 as 9.
So just rtrim($value, "0.") and you're done.