[php] jede Null nach Dezimalpunkt abschneiden?

[Juri Smarschevski]

> > 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.

... und kleiner Verbesserungsvorschlag ;-)

$zahl1 = 12.300;
print "<br>".$zahl1;
print "<br>".gettype($zahl1);

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

print "<br>".$zahl1;
print "<br>".gettype($zahl1);

Gruss,
Juri