[php] AW: [php] jede Null nach Dezimalpunkt abschneiden?

[Wolfgang]

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

Moin Michael, moin Liste,

Jetzt muss ich auch meinen Senf dazugeben. 
Die gelesenen Loesungen sind alle von hinten durch die Brust ins Auge.
Hier was vernuenftiges:

  $a = "12.0000000000";
  settype($a,"double");

int settype (string var, string type) 
Der Typ der Variable var wird festgelegt als type. 
Mogliche Werte fur type sind: 
"integer"
"double"
"string"
"array"
"object"
Liefert true bei Erfolg, sonst false. 

Gruss Wolfgang

-- 
** Durchgehend geoffnet: http://www.php-center.de **
Die PHP-Liste: mailto:php_(at)_php-center.de
http://infosoc.uni-koeln.de/mailman/listinfo/php