diff --git a/lib/xmldb/classes/generators/postgres7/postgres7.class.php b/lib/xmldb/classes/generators/postgres7/postgres7.class.php
index 4a0d9d174b0..e9e2599bad3 100644
--- a/lib/xmldb/classes/generators/postgres7/postgres7.class.php
+++ b/lib/xmldb/classes/generators/postgres7/postgres7.class.php
@@ -87,7 +87,7 @@ class XMLDBpostgres7 extends XMLDBgenerator {
                 }
                 break;
             case XMLDB_TYPE_FLOAT:
-                $dbtype = 'DOUBLE';
+                $dbtype = 'DOUBLE PRECISION';
                 if (!empty($xmldb_decimals)) {
                     if ($xmldb_decimals < 6) {
                         $dbtype = 'REAL';