MySQL DataType - DOUBLE sizing not persisted on snapshot

Create table like so:

CREATE TABLE TESTDOUBLE(
DOUBLE_NULL DOUBLE(7,4) NULL,
DOUBLE_NOTNULL DOUBLE(7,4) NOT NULL,
DOUBLE_DEFAULT DOUBLE(7,4) DEFAULT '1',
DOUBLE_PK DOUBLE(7,4) NOT NULL,
DOUBLE_UNIQUE DOUBLE(7,4) NOT NULL,
CONSTRAINT PK_DOUBLE PRIMARY KEY (DOUBLE_PK),
CONSTRAINT UN_DOUBLE UNIQUE (DOUBLE_UNIQUE)
);

Snapshot says:

<changeSet author="robert" id="1383674467554-9">
<createTable tableName="testdouble">
<column name="DOUBLE_NULL" type="DOUBLE"/>
<column name="DOUBLE_NOTNULL" type="DOUBLE">
<constraints nullable="false"/>
</column>
<column defaultValueNumeric="1.0" name="DOUBLE_DEFAULT" type="DOUBLE"/>
<column name="DOUBLE_PK" type="DOUBLE">
<constraints nullable="false"/>
</column>
<column name="DOUBLE_UNIQUE" type="DOUBLE">
<constraints nullable="false"/>
</column>
</createTable>
</changeSet>