[php] jede Null nach Dezimalpunkt abschneiden?

[Andreas Krahn / AKoTEC]

hi michael,

> Moin,
> stehe vor einem Denkblock :-(
> Jede Null nach dem Dezimalpunkt soll weg, so dass
> 12.000 = 12 wird, aber
> 12.300 = 12.3 wird.
> Ich versuche es mit eregreplace(), nur fehlt der rettende
> Ausdruck :-(

laß doch sprintf konvertieren:

$zahl1 = 12.300;
$zahl1 = sprintf("%s", $zahl1);

das funktioniert immer, und nullen am ende werden abgeschnitten.
ebenso nullen direkt hinter dem dezimalpunkt.

mfg
andreas