[解決済み] PHP で小数の無駄な 0 桁を削除する

質問

を素早く削除する方法を探しています。 zero decimals を数値の値から削除することができます。

echo cleanNumber('125.00');
// 125

echo cleanNumber('966.70');
// 966.7

echo cleanNumber(844.011);
// 844.011

何か最適化された方法があるのでしょうか？

どのように解決するのですか？

$num + 0 が効きます。

echo 125.00 + 0; // 125
echo '125.00' + 0; // 125
echo 966.70 + 0; // 966.7

内部的には、これは次のように float にキャストすることと同じです。 (float)$num または floatval($num) が、私はこの方がシンプルだと思います。