Okay,....

Also ich hab das jetzt quick´n dirty gelöst.

FalkP hat schon recht, das ganze ist tatsächlich Plattformabhängig.
Wir haben hier verschiedenste Skripte auf identischen Servern damit belegt, bei den meisten geht es, bei anderen geht es wiederrum nicht.

Wo das Problem jetzt genau lag, Who Knows, ich habe jetzt alle möglichen Konvertierungen usw versucht, aber nichts hat mehr geholfen. Da es sich hier um Euro-Beträge handelt und mir die 4. Kommastelle so wirtschaftlich ziemlich egal ist (also ob ich da jetzt drauflege oder nicht) hab ich das so gelöst:

<?php
function modify_betrag($betrag)
    {
     	$betrag=str_replace(",",".",$betrag);
     	$betrag=explode(".",$betrag);
     	$hauptzahl=$betrag[0];
     	$stelle_drei=substr($betrag[1],2,1);
     	$erstenzwei=substr($betrag[1],0,2);
     	if($erstenzwei =="")
     	{
     		$converted=$hauptzahl;
     	}
        else
        { 	
       		 if($stelle_drei =="" or $stelle_drei ==0)
         	{
         		$converted=$betrag[0].".".$erstenzwei;
         	}
         	else
         	{
         		if($stelle_drei >=5)
         		{
         			$erstenzwei=$erstenzwei+1;
         		}
         		$ranhaengen=$erstenzwei;
         		if($ranhaengen =="")
         		{
         			$converted=$hauptzahl.".00";
         		}
         		elseif($ranhaengen>=100)
         		{
         			$ranhaengen="00";
         			$hauptzahl++;
    				$converted=$hauptzahl.".".$ranhaengen;
         		}
         		else
         		{
         			$converted=$hauptzahl.".".$ranhaengen;
         		}
         	}
        }
     	
     return $converted;
     	
    }
?>

Zwar echt nicht schön, PHP die Zahl dann einfach selbst vom String wandeln zu lassen, aber so funktioniert es in jedem nur denkbaren Fall garantiert richtig... (ohne Besonderheiten wie Tausenderpunkte etc.. also die Zahl muss vorher schon bereinigt werden).

Grüßli