--- common.inc.orig	2009-10-25 18:52:27.976565400 +0100
+++ common.inc	2009-10-25 18:50:21.024565400 +0100
@@ -2431,7 +2431,7 @@
     case 'integer':
       return $var;
     case 'double':
-      return $var;
+      return str_replace(',', '.', $var);
     case 'resource':
     case 'string':
       return '"'. str_replace(array("\r", "\n", "<", ">", "&"),