PHPでひと続きの0をストリップする方法は？

Question

PHPを使って数字からひと続きになっている0をストリップする方法が知りたいです。
どなたかお願いします。

例：

$string = "25.123906000000000000000000000000"

これを「:"25.123906"」のようにしたいということです。

str_replace()をやってみました。
でもそうすると数字の中の0まで置き換えられてしまいます。
アドバイスよろしくお願いします。

Answer 1

変数を(float)で追加し、stringからfloatにキャストしましょう。

$string = "25.123906000000000000000000000000";
echo (float)$string;

アウトプット:
25.123906

実際の結果はfloatなんですけど、HTTP Protocolのためにstringとして返ってきます。
計算のためにそれをもとの型に戻したりしても大丈夫です。