[php] jede Null nach Dezimalpunkt abschneiden?

[Franz Graf]

Guido Haeger schrieb:
> > > $regex = "/\.0*$/";
> > > echo preg_replace($regex,"",$a)."\n"; // 12.03
> >
> > Danke, funktioniert wunderbar in allen Fällen!
> 
> Der reguläre Ausdruck selbst ist aber falsch. Das Ganze funktioniert nur
> weil PHP hier ohnehin nur Testvariablen vom Typ Integer oder Double
> bekommt. Du kannst Die RegEx hier auch weglassen und bekommst das
> gleiche Ergebnis!

Ok, nächster Versuch:
Spricht was gegen folgendes?
  $a = "12.0300";
  echo (double)$a;
Die Lösung scheint mir pers. schon wieder zu einfach.

Franz
-- 
Franz Graf
fg_(at)_locked.de
http://www.Locked.de