add another column type name normalization 'double precision' -> 'double'

Signed-off-by: Gavin King <gavin@hibernate.org>

hibernate-core/src/main/java/org/hibernate/tool/schema/internal/ColumnDefinitions.java

@@ -239,6 +239,10 @@ class ColumnDefinitions {
 					return "blob";
 				case "interval second":
 					return "interval";
+				case "double precision":
+					return "double";
+				// todo: normalize DECIMAL to NUMERIC?
+				//       normalize REAL to FLOAT?
 				default:
 					return lowercaseTypeName;
 			}