[php] jede Null nach Dezimalpunkt abschneiden?

[Guido Haeger]

Franz Graf schrieb

> Ok, nächster Versuch:
> Spricht was gegen folgendes?

Das funktioniert natürlich, wie auch schon von anderen vorgeschlagen.

>   $a = "12.0300";
>   echo (double)$a;
> Die Lösung scheint mir pers. schon wieder zu einfach.

Man denkt halt häufig zu kompliziert => siehe mein erstes Posting zu
diesem Thread mit der extralangen Funktion...

Guido Haeger