[php] jede Null nach Dezimalpunkt abschneiden?

[Thomas Weinert]

> Jede Null nach dem Dezimalpunkt soll weg, so dass
> 12.000 = 12 wird, aber
> 12.300 = 12.3 wird.

$str = ereg_replace("[\.0]+$","",$str);

müßte gehen...

    ooo0 (OO) 0ooo
    Thomas Weinert
http://www.subjective.de